Module Costlib__ConstraintSolver.Equalities

type t