Module Cf_sbheap.Heap

Interfaces to persistent functional heap data structures.

module type Profile = sig ... end

The module type of functional persistent heaps.

module Create (E : Cf_relations.Order) : Profile with type element := E.t

A functor to create a Heap module.