Module Typeable

module 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 : unit -> Typeable.TypeRep.t
end) -> 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_num: Typeable  with type a = Num.num

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