Module type `Qcow_diet.ELT`

type t: The type of the set elements.

include Ppx_sexp_conv_lib.Sexpable.S with type ELT.t := t

val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t

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