package caqti

  1. Overview
  2. Docs
package caqti
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Heap.SSource

type t
type elt
val empty : t
val is_empty : t -> bool
val card : t -> int
val push : elt -> t -> t
val merge : t -> t -> t
val pop_e : t -> elt * t