package incremental

You can search for identifiers within the package.

in-package search v0.2.0

Library for incremental computations

Install

sha256=bcd6da0c70d9f0b0d528b16d8faf800dd92cd45dca817f4b750628921671e8e0

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 -> unit

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