module type DIFF_ELEMENT =sig..end
Definition of an element
type t
Type of an element
val pp_printer : Stdlib.Format.formatter -> t -> unitPretty printer for an element
val compare : t -> t -> intElement comparison
val pp_print_sep : Stdlib.Format.formatter -> unit -> unitPretty print element separator