Utils.Tval type_rep : Deriving_Typeable.TypeRep.t Lazy.tval has_type : Deriving_Typeable.dynamic -> boolval cast : Deriving_Typeable.dynamic -> a optionval throwing_cast : Deriving_Typeable.dynamic -> aval make_dynamic : a -> Deriving_Typeable.dynamicval mk : a -> Deriving_Typeable.dynamic