# Module Deriving_Typeable

    module Deriving_Typeable: sig .. end

/*

    module TypeRep: sig .. end

    exception CastFailure of string

    type dynamic

    val tagOf : dynamic -> TypeRep.t

    module type Typeable = sig .. end

    module Defaults: functor (T : sig
    type a

    val type_rep : Deriving_Typeable.TypeRep.t Lazy.tend) -> Typeable  with type a = T.a

    module Typeable_list: functor (A : Typeable) -> Typeable  with type a = A.a list

    module Typeable_option: functor (A : Typeable) -> Typeable  with type a = A.a option

    module Typeable_ref: functor (A : Typeable) -> Typeable  with type a = A.a ref

    module Typeable_unit: Typeable  with type a = unit

    module Typeable_int: Typeable  with type a = int

    module Typeable_float: Typeable  with type a = float

    module Typeable_bool: Typeable  with type a = bool

    module Typeable_string: Typeable  with type a = string

    module Typeable_char: Typeable  with type a = char

    module Typeable_int32: Typeable  with type a = int32

    module Typeable_int64: Typeable  with type a = int64

    module Typeable_nativeint: Typeable  with type a = nativeint