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