Functor TypePoly.Make

module Make (T : TI.REPR) : sig .. end

module T: T

val is_ty : T.t -> bool

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