Functor Rewriting.Make

module Make: 
functor (E : Env_intf.S) -> sig .. end

val setup : ?ctx_narrow:bool -> has_rw:bool -> unit -> unit