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