Module Rewriting.Make

Parameters

• E : Libzipperposition.Env_intf.S

Signature

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