Induction.S
module Env : Libzipperposition.Env.S
val register : unit -> unit
Register the inference rules for inductive reasoning