package caqti

You can search for identifiers within the package.

in-package search v0.2.0

Unified interface to relational database libraries

Install

sha256=483a535f41e2641917fc1832ce4ad15ffc3f4e8283b1b3018a2617349583090a

sha512=6a1222c0c55cb16a9d409980f9f2400340689b87e21aafed2d7459fd7feaeb109c2dfaf77f55f8422fbb7d3772342565ced7fed78a7b77af5aedab5bfd5ae882

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