package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.