Plasma GitLab Archive
Projects Blog Knowledge

sig
  type monitor
  val create_monitor : Unixqueue.event_system -> Uq_mt.monitor
  val monitor_run :
    Uq_mt.monitor ->
    (Unixqueue.event_system -> '-> 'Uq_engines.engine) -> '-> 'b
  val monitor_do : Uq_mt.monitor -> ('-> 'b) -> '-> 'b
  val monitor_async :
    Uq_mt.monitor -> ('-> ((unit -> 'b) -> unit) -> unit) -> '-> 'b
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml