module T:Typeable.Typeablewith type a = a
type a
val type_rep : unit -> Typeable.TypeRep.tval has_type : Typeable.dynamic -> boolval cast : Typeable.dynamic -> a optionval throwing_cast : Typeable.dynamic -> aval make_dynamic : a -> Typeable.dynamicval mk : a -> Typeable.dynamic