Module Induction.Make

Parameters

A : Avatar_intf.S with module E = EE : Libzipperposition.Env.S

Signature

module Env = E
val register : unit -> unit

Register the inference rules for inductive reasoning