package vocal

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

vocal
- Vocal
  - Arrays
  - HashTable
    
    HashedType
    
    Make
    
    K
  - Lists
  - PairingHeap
    
    Make
    
    X
  - PriorityQueueVector
    
    Make
    
    X
  - UnionFind
  - Vector
  - ZipperList

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : sig ... end

Signature

type elt = X.t

type heap

val empty : unit -> heap

val is_empty : heap -> bool

val merge : heap -> heap -> heap

val insert : elt -> heap -> heap

val find_min : heap -> elt

val delete_min : heap -> heap