ConstraintSystem
fun <C : HeytingAlgebra<C>> ConstraintSystem(constraints: Iterable<Constraint<C, V, T>>, bounds: BoundedLattice<C>, delegationContext: LatticeCongruence<C>)
Parameters
T
type of exceptions thrown when there are unsatisfiable constraints.