sig   type t   val equal : Rel.Dom.V.t -> Rel.Dom.V.t -> bool   val pp : Format.formatter -> Rel.Dom.V.t -> unit end