Module Session_scheduler

module Session_scheduler: sig .. end
Scheduling operations on sessions and calls to provers


One module for calling callback when it's time to


module Todo: sig .. end

Observers signature


module type OBSERVER = sig .. end

Main functor


module Make: 
functor (O : OBSERVER) -> sig .. end
module Base_scheduler: 
functor (X : sig
end) -> sig .. end
A functor (a state is hidden) that provide a working scheduler and which can be used as base for an OBSERVER