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