package incr_map

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = state_witness Incremental.State.t

val sexp_of_t : t -> Sexplib0.Sexp.t

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

val invariant : t Base__.Invariant_intf.inv

val t : t

t is the shared state for a call to Incremental.Make.

val keep_node_creation_backtrace : t -> bool

val set_keep_node_creation_backtrace : t -> bool -> unit

val max_height_allowed : t -> int

val set_max_height_allowed : t -> int -> unit

val num_active_observers : t -> int

val max_height_seen : t -> int

val num_nodes_became_necessary : t -> int

val num_nodes_became_unnecessary : t -> int

val num_nodes_changed : t -> int

val num_nodes_created : t -> int

val num_nodes_invalidated : t -> int

val num_nodes_recomputed : t -> int

val num_nodes_recomputed_directly_because_one_child : t -> int

val num_nodes_recomputed_directly_because_min_height : t -> int

val num_stabilizes : t -> int

val num_var_sets : t -> int

module Stats : sig ... end

val stats : t -> Stats.t