Module Worklist

module Worklist: sig .. end
Worklist / Work queue implementation

module type S = sig .. end
Module type

Functors


module Make: 
functor (X : Sigs.Comparable) -> S with type elt = X.t
Priority queues over comparable types
module CMake: 
functor (X : Sigs.Any) -> sig .. end
Priority queues with generated comparison function.