Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Thintype ('uid, 's) light_load = 'uid -> (Carton.kind * int, 's) Carton.iotype ('uid, 's) heavy_load = 'uid -> (Carton.Dec.v, 's) Carton.iotype optint = Optint.tmodule Make
(Scheduler : Carton.SCHEDULER)
(IO : Carton.IO with type 'a t = 'a Scheduler.s)
(Uid : Carton.UID) :
sig ... end