Module Constraint.Seq

val exprs : t -> expr Iter.t

Expressions that occur in the constraint