Module Incremental_kernel__.Node_id

A module internal to Incremental. Users should see Incremental_intf.

Node ids are consecutive integers assigned to nodes as they are created.

type t = private int

include sig ... end

val sexp_of_t : t ‑> Sexplib.Sexp.t

val compare : t ‑> t ‑> int

include Core_kernel.Hashable with type t := t

include Core_kernel.Hashable.Common

type t

val hash : t ‑> Core_kernel__.Import.int

val compare : t ‑> t ‑> Core_kernel__.Import.int

val hashable : t Core_kernel.Hashable.Hashtbl.Hashable.t

module Table : Core_kernel.Hashable.Hashtbl.S with type key = t

module Hash_set : Core_kernel.Hash_set.S with type elt = t

module Hash_queue : Core_kernel.Hash_queue.S with type Key.t = t

include Core_kernel.Invariant.S with type t := t

type t

val invariant : t Base__.Invariant_intf.inv

val next : unit ‑> t

val to_string : t ‑> string