package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Elt : RANKED

Signature

module Vec = CCVector
type elt = Elt.t
type t = {
  1. heap : elt Vec.vector;
}
val _absent_index : int
val create : unit -> t
val left : int -> int
val right : int -> int
val parent : int -> int
val percolate_up : t -> Elt.t -> unit
val percolate_down : t -> Elt.t -> unit
val in_heap : Elt.t -> bool
val decrease : t -> Elt.t -> unit
val increase : t -> Elt.t -> unit
val filter : t -> (elt -> bool) -> unit
val size : t -> int
val is_empty : t -> bool
val iter : t -> (elt -> unit) -> unit
val clear : t -> unit
val insert : t -> elt -> unit
val remove_min : t -> elt