Module IR.StdTyp
type t= Typ.t
val boolean : tval char : tval double : tval float : tval int : tval long : tval uint : tval void : tval void_star : tvoid*type
module Name : sig ... endmodule Java : sig ... endmodule Objc : sig ... end