Module type TypePoly.S

module type S = sig .. end

A polymorphic type is a term that respects TypePoly.S.is_ty

module T: TI.REPR

val is_ty : T.t -> bool

val repr : T.t -> T.t TypePoly.view

Present a type-centric view of a term.
Raises Assert_failure if the term isn't a proper type, that is, if is_ty t = false