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