package caqti

  1. Overview
  2. Docs
Unified interface to relational database libraries

Install 

dune-project
 Dependency

github.com Edit opam file Versions (24)

Authors

  1. P
    Petter A. Urkedal <paurkedal@gmail.com>
  2. N
    Nathan Rebours <nathan@cryptosense.com>
  3. B
    Basile Clément

Maintainers

  1. P
    Petter A. Urkedal <paurkedal@gmail.com>

Sources

caqti-v2.3.2.tbz
sha256=8f6c1724b59ac22a5c657c9e53b9a1706e39ecd462e82958b0cea88e43f0aba7
sha512=75b968ab37ae94cadcaabbcce0f91b1ffa4334ed69e441bdeb823077eb7675264282efb0fab3baaaad446582cfb427769e19f22c8c194a316ac2248c3fba5cf8

doc/caqti.platform/Caqti_platform/Heap/Make/index.html

Module Heap.MakeSource

Parameters

Signature

Sourcetype t
Sourcetype elt = Elt.t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval card : t -> int
Sourceval push : elt -> t -> t
Sourceval merge : t -> t -> t
Sourceval pop_e : t -> elt * t