Functor Induction.Make

module Make: 
functor (E : Env.S) -> 
functor (A : Avatar_intf.S  with module E = E) -> S 
    with module Env = E

module Env: Env.S 

val register : unit -> unit