Functor Typeable.Typeable_list

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

type a 

val type_rep : unit -> Typeable.TypeRep.t

val has_type : Typeable.dynamic -> bool

val cast : Typeable.dynamic -> a option

val throwing_cast : Typeable.dynamic -> a

val make_dynamic : a -> Typeable.dynamic

val mk : a -> Typeable.dynamic