`type t````=`

`|` `Boolean`
`|` `Byte`
`|` `Char`
`|` `Short`
`|` `Int`
`|` `Long`
`|` `Float`
`|` `Double`
`|` `Void`
`|` `FullyQualifiedClass of string * string`
`|` `Array of t`
`|` `Method of t list * t`

``
`include sig ... end`
`val compare : t ‑> t ‑> int`
`val equal : t ‑> t ‑> bool`
`val parse_str : string ‑> t list`
`val parse_method_str : string ‑> t list * t`
`val to_java_type : t ‑> InferIR.Typ.Procname.Java.java_type`
`val pp : Format.formatter ‑> t ‑> unit`