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

dune-project

Dependency

sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8

md5=533153cd4a9fe8093d3b98afc1073bc8

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.