Up – Package index » libzipperposition » Library libzipperposition.calculi » Libzipperposition_calculi » Rewriting

Module `Libzipperposition_calculi.Rewriting`Source

Rewriting

Deal with definitions as rewrite rules

Sourcemodule Make (E : Libzipperposition.Env_intf.S) : sig ... end

Sourceval extension : Libzipperposition.Extensions.t