module type Global_defs = sig .. end
sig
end
val d : Types.type_defs
Types.type_defs
val i : Types.i_env
Types.i_env