Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_engines.delay_engine

class ['a] delay_engine : float -> (unit -> 'a #engine) -> Unixqueue.event_system -> ['a] engine
let de = delay_engine d f esys: The engine e = f() is created after d seconds, and the result of e becomes the result of de.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml