File: priority_queue.mli

package info (click to toggle)
ocaml-odoc 3.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 14,008 kB
  • sloc: ml: 60,567; javascript: 2,572; sh: 566; makefile: 31
file content (10 lines) | stat: -rw-r--r-- 242 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
 
type elt = Db.Entry.t
type t

val minimum : t -> elt option
val of_automata : Db.String_automata.t -> t
val of_sorted_array : elt array -> t
val of_list : t list -> t
val pop_lt : elt -> t -> t
val pop_lte : elt -> t -> t
val size : t -> int