package vocal

  1. Overview
  2. Docs

Module PairingHeap.MakeSource

Parameters

module X : sig ... end

Signature

Sourcetype elt = X.t
Sourcetype heap
Sourceval empty : unit -> heap
Sourceval is_empty : heap -> bool
Sourceval merge : heap -> heap -> heap
Sourceval insert : elt -> heap -> heap
Sourceval find_min : heap -> elt
Sourceval delete_min : heap -> heap