Plasma GitLab Archive
Projects Blog Knowledge

sig
  val plugin : Netplex_types.plugin
  type mutex
  val access : string -> Netplex_mutex.mutex
  val lock : Netplex_mutex.mutex -> unit
  val unlock : Netplex_mutex.mutex -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml