Module Fsq

FSQ: Functional Fixed-size Search Queue

module type S = sig ... end

Signature of fixed-size search queues.

module type Ordered = sig ... end

Signature of ordered types.

module Make : functor (K : Ordered) -> S with type k = K.t

Make(K) is the fixed-size search queue with keys K.t.