package herdtools7

  1. Overview
  2. Docs
type t

The type of the set elements.

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

val to_string : t -> string

Display an element.

OCaml

Innovation. Community. Security.