Module type Rel.Dom.V

module type V = sig .. end
The type for modules that can be seen as domains.

type t 
The type of the values of the domain.
val equal : t -> t -> bool
equal v v' is true iff v and v' are equal.
val pp : Format.formatter -> t -> unit
pp ppf v prints an unspecified representation of v on ppf.