Module Incremental__.Stabilization_num

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