package colibri2

  1. Overview
  2. Docs

Parameters

module X : Ordered

Signature

type t
val empty : t
val is_empty : t -> bool
val insert : X.db -> X.t -> t -> t
val min : t -> X.t option
val extract_min : t -> X.t * t
val merge : t -> t -> t
val reprio : X.db -> t -> t
val fold : ('a -> X.t -> X.prio -> 'a) -> 'a -> t -> 'a
OCaml

Innovation. Community. Security.