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=585297372d7f6cfb830214e9ef22d6d072a39b2a1591ef90f1ee2bcfe144cad3

md5=6bb6a7ba88bf2c7595a0b332921e60b4

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.