package caqti

You can search for identifiers within the package.

in-package search v0.2.0

Unified interface to relational database libraries

Install

sha256=7eb57225c521fe25395653d960b1c381bb2b2ccae47bc2a827bb16611988da8b

sha512=eeafaf495b08fb8620ddee1711b8f9fa2ca0c79fb450a905c8d071806b7046d665e1e2ac0e7d3c7ca1258455decbf184e689e9ecb2453ec9d952b864f9dd14f4

module Elt : Set.OrderedType

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

On This Page