Functor Ind_types.Make

module Make: 
functor (E : Env_intf.S) -> sig .. end
Parameters:
E : Env_intf.S

val setup : unit -> unit