Simplex.OrderedType
The types of the variables used by the equations to solve
type t
val compare : t -> t -> int