package vocal

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `PriorityQueueVector.Make`Source

module X : sig ... end

Sourcetype elt = X.t

Sourcetype t

Sourceval create : unit -> t

Sourceval is_empty : t -> bool

Sourceval size : t -> int

Sourceval find_min : t -> elt option

Sourceexception Empty

Sourceval find_min_exn : t -> elt

Sourceval delete_min_exn : t -> unit

Sourceval extract_min_exn : t -> elt

Sourceval insert : elt -> t -> unit