Module Incremental_kernel__.Stabilization_num

A module internal to Incremental. Users should see Incremental_intf.

A stabilization number is an int that corresponds to one round of stabilization (think of a round as running from the end of one stabilization to the end of the next stabilization). Stabilization numbers are used to detect whether a node is stale, i.e. if one of its children changed at a stabilization since the node was recomputed.

type t = private int
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
val compare : t ‑> t ‑> int
include Core_kernel.Equal.S with type t := t
type t
include Core_kernel.Invariant.S with type t := t
type t
val none : t

none <= t for all t.

val zero : t
val is_none : t ‑> bool
val is_some : t ‑> bool
val add1 : t ‑> t
val to_int : t ‑> int