deriving.runtime
Write.Utils
module T : Deriving_Typeable.Typeable
module E : Deriving_Eq.Eq with type a = T.a
val allocate : T.a -> (id -> unit m) -> id m
val store_repr : id -> Repr.t -> unit m