Module Annotate_incr.Counts

type t

Values of this type contain a counter for every kind of incremental node created by Bonsai. The numbers are tracked since the start of the program, so we recommend that you call diff to see how the counts have changed between two calls to current.

IMPORTANT: this number is not decremented when nodes are deleted, because we don't have a performant way of doing that.

Some of the counts may be double-counted! For example, a state's model may be considered a "model" incremental as well as a "result" incremental if it's returned from a component.

val sexp_of_t : t -> Sexplib0.Sexp.t
val current : unit -> t
val empty : unit -> t
val diff : before:t -> after:t -> t
val incr : t -> Kind.t -> unit