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