package caqti

You can search for identifiers within the package.

in-package search v0.2.0

Unified interface to relational database libraries

Install

sha256=ba4dfd5ff94376b5e003f682410b7b3b392c0bbaa0253679fe7671c2e07e895b

sha512=0416807fba620429ee4d64f3a6991238112e0e10dfba9703dced46cf332fd22135a9873007d025441228ce66fb192bf730d4bc776dd2c1a973d7604ab6e789e0

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