Functor Deriving_Typeable.Primitive_typeable

module Primitive_typeable: 
functor (T : sig
type t 
val magic : string
end-> Typeable £ 'delayed°ÀaI
Parameters:
T : ¾Õ@@@ À£ &option°ÀXI¾àÀ

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