Module Ty.Cst

type t = ty_cst
val arity : t -> int
val builtin : t -> builtin