Module type Induction_intf.S

module type S = sig .. end

module Env: Env.S 

val register : unit -> unit