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