Module Rewriting.Make

Parameters

Signature

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