package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654

md5=00393728b481c2bf15919a8202732335

Interfaces to persistent functional priority queue data structures.

module type Profile = sig ... end

The module type of functional persistent priority queues.

module Create (K : Cf_relations.Order) : Profile with type priority := K.t

A functor to create a PQueue module.