Module Ind_types

module Ind_types: sig .. end

Deal with Inductive Types



module Make: 
functor (E : Env_intf.S) -> sig .. end
val extension : Extensions.t