Module Incremental__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
val compare : t -> t -> int
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Core_kernel.Equal.S with type t := t
type t
val equal : t Core_kernel.Equal.equal
include Core_kernel.Invariant.S with type t := t
type t
val invariant : t Base__.Invariant_intf.inv
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