Up
–
incremental
»
Incremental
»
S_gen
» Scope
Module
S_gen.Scope
type
t
val
top :
t
val
current : unit
->
t
val
within :
t
->
f:
(unit
->
'a
)
->
'a