Module Deriving_Typeable.TypeRep
module TypeRep : sig..end
type t
type delayed = t Lazy.t
val compare : t -> t -> int
val eq : t -> t -> bool
val mkFresh :
string ->
delayed list -> t
val mkTuple : delayed list -> t
val mkPolyv :
(string * delayed option) list ->
delayed list -> t