package incr_dom

You can search for identifiers within the package.

in-package search v0.2.0

A library for building dynamic webapps, using Js_of_ocaml

Install

sha256=e79e64efca79b5def4e636b84225710f982bf5f5dda31fcab8e6b4bfab583d10

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