Module Typeable.Typeable_num

module Typeable_num: Typeable  with type a = Num.num

type a 

val type_rep : unit -> Typeable.TypeRep.t

val has_type : Typeable.dynamic -> bool

val cast : Typeable.dynamic -> a option

val throwing_cast : Typeable.dynamic -> a

val make_dynamic : a -> Typeable.dynamic

val mk : a -> Typeable.dynamic