Reflect.Type
type t
=
|
Var of string
Arrow of string * t * t
Tuple of t list
Constr of Uid.t * t list
val pp : t CCFormat.printer