package incremental

You can search for identifiers within the package.

in-package search v0.2.0

Module `Incr.Scope`

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