Module Libzipperposition_induction.Make

Parameters

module A : AVATAR with module E = E

Signature

module Env = E
val register : unit -> unit

Register the inference rules for inductive reasoning