package qcow

  1. Overview
  2. Docs
type t

The type of the set elements.

include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Stdlib.Set.OrderedType with type 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

OCaml

Innovation. Community. Security.