Parameter Make_equalities.X

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