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 Stdlib.Lazy.t

end) -> Typeable kÀ¦FVo@@@°À¨F

module Typeable_list: 
functor (A : Typeable) -> Typeable Vo@°À±FVXÀ²FVo@

module Typeable_option: 
functor (A : Typeable) -> Typeable ÄGp
€ÀÅGp
†@@°ÀÇGp

module Typeable_ref: 
functor (A : Typeable) -> Typeable £ �'delayed°ÀÚGp
ŠÀ

module Typeable_unit: Typeable ïGp
›@@@°ÀñGp

module Typeable_int: Typeable °À÷GprÀøGp
›

module Typeable_float: Typeable 
½@À±@À£ �$list°À

module Typeable_bool: Typeable À
H
œ
¬À
H
œ

module Typeable_string: Typeable 
H
œ
¬À
H
œ
¸

module Typeable_char: Typeable °À
$H
œ
¼À
%H

module Typeable_int32: Typeable 
*H
œ
žÀ
+H
œ

module Typeable_int64: Typeable yv°À
6I
¾
ÀÀ
7I

module Typeable_nativeint: Typeable ¾
ì@ À’ À£ �&string°À

module Primitive_typeable: 
functor (T : sig

type t 

val magic : string

end) -> Typeable  �'delayed°À
aI