Plasma GitLab Archive
Projects Blog Knowledge

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