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