Lines Matching refs:Bounds
15 // modification of type bounds (e.g. of a variable).
24 // merges into a previous effect, i.e., type bounds are merged. Alternative
25 // composition always merges bounds. It yields a possible effect if at least
31 Bounds bounds;
34 explicit Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {}
38 return Effect(Bounds::Unbounded(), POSSIBLE);
42 return Effect(Bounds::Unbounded(), DEFINITE);
48 return Effect(Bounds::Either(e1.bounds, e2.bounds, zone), e1.modality);
54 Bounds::Either(e1.bounds, e2.bounds, zone),
87 Bounds LookupBounds(Var var) {
90 ? effect.bounds : Bounds::Unbounded();
