Module Qed.Idxset

Set of indexed elements implemented as Patricia sets.

module type S = sig ... end
module type IndexedElements = sig ... end
module Make (E : IndexedElements) : S with type elt = E.t