Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class Uq_engines.prioritizer

class ['a] prioritizer : Unixqueue.event_system -> ['a] prioritizer_t

Creates a prioritizer

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