type 'uid light_load = 'uid -> (Carton.kind * int) Lwt.t
type 'uid heavy_load = 'uid -> Carton.Dec.v Lwt.t
type optint = Optint.t
module Make (Uid : Carton.UID) : sig ... end