Module Constraint.Seq

val exprs : t -> expr Sequence.t

Expressions that occur in the constraint