Module type Induction.S

module type S = Induction_intf.S

module Env: Env.S 

module Meta: sig .. end

val register : unit -> unit