psq

Functional Priority Search Queues
back to documentation root
package psq
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library psq
Module Psq

Psq

module type S = sig ... end

Signature of priority search queues.

module type Ordered = sig ... end

Signature of ordered types.

module Make (K : Ordered) (P : Ordered) : S with type k = K.t and type p = P.t

Make(K)(P) is the priority search queue with bindings K.t -> P.t.