Up – Package index » libzipperposition » Library libzipperposition.calculi » Libzipperposition_calculi » Induction » Make

Module `Induction.Make`Source

Parameters

module E : Libzipperposition.Env.S

module A : Avatar_intf.S with module E = E

Signature

module Env = E

Sourceval register : unit -> unit

Register the inference rules for inductive reasoning