Module Binsec.Worklist

Worklist / Work queue implementation

module type S = sig ... end

Functors

module Make (X : Sigs.COMPARABLE) : S with type elt = X.t

Priority queues over comparable types

module CMake (X : Sigs.ANY) : sig ... end

Priority queues with generated comparison function. Added benefit: insertion at the front/rear can be guaranteed. Culprit: does not behave as a set (i.e. the same element of X.t w.r.t to = can be inserted twice in the queue).