Module type Types.Global_defs


module type Global_defs = sig .. end

val d : Types.type_defs
val i : Types.i_env