Module `Libzipperposition_induction.Make`

Parameters

E : Libzipperposition.Env.S
A : AVATAR with module E = E

Signature

module Env = E

val register : unit -> unit: Register the inference rules for inductive reasoning