incremental.memoize
Incr.Scope
incremental
incremental.incremental_step_function
type t = state_witness Incremental.Scope.t
val top : t
val current : unit -> t
val within : t -> f:(unit -> 'a) -> 'a
val is_top : t -> bool