Carton_gitmodule type STORE = sig ... endmodule type IO = sig ... endmodule Make
(Scheduler : Carton.SCHEDULER)
(IO : IO with type +'a t = 'a Scheduler.s)
(Store : STORE with type +'a fiber = 'a Scheduler.s)
(Uid : Carton.UID) :
sig ... end