functor
(
E
:
Env_intf
.
S
)
->
sig
val
setup :
Rewrite_rule
.
Set
.t
->
unit
end