module Utils: functor (T : Deriving_Typeable.Typeable) -> functor (E : Eq with type a = T.a) -> sig .. end
functor (
T
:
Deriving_Typeable.Typeable
) ->
E
Eq
with type a = T.a
sig
end
Eq with type a = T.a
val allocate : T.a -> (Deriving_Pickle.id -> unit m) -> Deriving_Pickle.id m
T.a -> (Deriving_Pickle.id -> unit m) -> Deriving_Pickle.id m
val store_repr : Deriving_Pickle.id -> Deriving_Pickle.Repr.t -> unit m
Deriving_Pickle.id -> Deriving_Pickle.Repr.t -> unit m