Plasma GitLab Archive
Projects Blog Knowledge

sig
  type ('e, 'h) squeue
  type ('e, 'h) squeue_descr
  exception Empty
  val create : Netmcore.res_id -> '-> ('e, 'h) Netmcore_queue.squeue
  val push : '-> ('e, 'h) Netmcore_queue.squeue -> unit
  val pop_p : ('e, 'h) Netmcore_queue.squeue -> ('-> 'a) -> 'a
  val pop_c : ('e, 'h) Netmcore_queue.squeue -> 'e
  val top_p : ('e, 'h) Netmcore_queue.squeue -> ('-> 'a) -> 'a
  val top_c : ('e, 'h) Netmcore_queue.squeue -> 'e
  val clear : ('e, 'h) Netmcore_queue.squeue -> unit
  val is_empty : ('e, 'h) Netmcore_queue.squeue -> bool
  val length : ('e, 'h) Netmcore_queue.squeue -> int
  val iter : ('-> unit) -> ('e, 'h) Netmcore_queue.squeue -> unit
  val fold : ('-> '-> 'a) -> '-> ('e, 'h) Netmcore_queue.squeue -> 'a
  val header : ('e, 'h) Netmcore_queue.squeue -> 'h
  val heap :
    ('a, 'b) Netmcore_queue.squeue -> Stdlib.Obj.t Netmcore_heap.heap
  val descr_of_squeue :
    ('e, 'h) Netmcore_queue.squeue -> ('e, 'h) Netmcore_queue.squeue_descr
  val squeue_of_descr :
    Netmcore.res_id ->
    ('e, 'h) Netmcore_queue.squeue_descr -> ('e, 'h) Netmcore_queue.squeue
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml