Module Libzipperposition_calculi.Rewriting
module Make : functor (E : Libzipperposition.Env_intf.S) -> sig ... endval extension : Libzipperposition.Extensions.t
Libzipperposition_calculi.Rewritingmodule Make : functor (E : Libzipperposition.Env_intf.S) -> sig ... endval extension : Libzipperposition.Extensions.t