`sig
type a
val type_rep : Deriving_Typeable.TypeRep.t Lazy.t
val has_type : Deriving_Typeable.dynamic -> bool
val cast : Deriving_Typeable.dynamic -> Deriving_Typeable.Typeable.a option
val throwing_cast :
Deriving_Typeable.dynamic -> Deriving_Typeable.Typeable.a
val make_dynamic :
Deriving_Typeable.Typeable.a -> Deriving_Typeable.dynamic
val mk : Deriving_Typeable.Typeable.a -> Deriving_Typeable.dynamic
end`