libzipperposition.calculi
Rewriting.Make
libzipperposition
libzipperposition.phases
module E : Libzipperposition.Env_intf.S
val setup : ?ctx_narrow:bool -> has_rw:bool -> unit -> unit