Make.Scope
type t = state_witness Incremental.Scope.t
val top : t
val current : unit -> t
val within : t -> f:( unit -> 'a ) -> 'a