Make.1-X
type t
val compare : t -> t -> int
val equal : t -> t -> bool
val is_simpler_than : t -> t -> bool
will be used to choose a "simpler" representative for a given equivalence class when possible