a runtime representation of fully applied type 'a
'a
type t
val compare : t ‑> t ‑> int
val equal : t ‑> t ‑> bool
val hash : t ‑> int