Module ConstraintSolver.Equalities

type t