Module IR__StdTyp.Name
type t= IR.Typ.Name.t
module Java : sig ... endmodule CSharp : sig ... endmodule Objc : sig ... endIR__StdTyp.Nametype t = IR.Typ.Name.tmodule Java : sig ... endmodule CSharp : sig ... endmodule Objc : sig ... end