module Utils: functor (T : Typeable.Typeable) -> sig .. end
functor (
T
:
Typeable.Typeable
) ->
sig
end
val sum : (int * Pickle.id list -> T.a m) -> Pickle.id -> T.a m
(int * Pickle.id list -> T.a m) -> Pickle.id -> T.a m
val tuple : (Pickle.id list -> T.a m) -> Pickle.id -> T.a m
(Pickle.id list -> T.a m) -> Pickle.id -> T.a m
val record : (T.a -> Pickle.id list -> T.a m) -> int -> Pickle.id -> T.a m
(T.a -> Pickle.id list -> T.a m) -> int -> Pickle.id -> T.a m