package lrgrep

  1. Overview
  2. Docs

Module Heap.MakeSource

Parameters

module T : sig ... end

Signature

Sourcetype ('a, 'b) t = private
  1. | Leaf
  2. | Node of ('a, 'b) t * 'a T.t * 'b * ('a, 'b) t * int
Sourceval empty : ('a, 'b) t
Sourceval merge : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval singleton : 'a T.t -> 'b -> ('a, 'b) t
Sourceval insert : 'a T.t -> 'b -> ('a, 'b) t -> ('a, 'b) t
Sourceval pop : ('a, 'b) t -> ('a T.t * 'b * ('a, 'b) t) option
Sourcetype ('a, 'b) pop2 =
  1. | Head of 'a T.t * 'b * 'a T.t * 'b * ('a, 'b) t
  2. | Tail of 'a T.t * 'b
  3. | Done
Sourceval pop2 : ('a, 'b) t -> ('a, 'b) pop2