Module type `Diet.ELT`

type t: The type of the set elements.

include Stdlib.Set.OrderedType with type ELT.t := t

val compare : t -> t -> int

val zero : t: The zeroth element

val pred : t -> t: Predecessor of an element

val succ : t -> t: Successor of an element

val sub : t -> t -> t: sub a b returns a - b

val add : t -> t -> t: add a b returns a + b

val to_string : t -> string: Display an element.