Module type Induction.S

module type S = Induction_intf.S

module Env: Env.S 

val register : unit -> unit