Parameter Make_equalities.X

type t
val pp : Format.formatter -> t -> unit
val eq : t -> t -> bool