LocalIdentOrData.Ty
type ty
val compare_ty : ty -> ty -> Prelude.int
val sexp_of_ty : ty -> Sexplib0.Sexp.t
val ty_of_sexp : Sexplib0.Sexp.t -> ty