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.