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