Functor Typeable.Defaults


module Defaults: 
functor (T : sig
type a 
val type_rep : unit -> Typeable.TypeRep.t
end) -> Typeable with type a = T.a
Parameters:
T : sig type a val type_rep : unit -> TypeRep.t end

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