functor
(
E
:
Env_intf
.
S
)
->
sig
val
setup : ?ctx_narrow:bool
->
has_rw:bool
->
unit
->
unit
end