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.