Module `Prime_retraction`

An ordered set of elements addressable by a property (prime.unstable).

module type RETRACTABLE = sig ... end

module type S = sig ... end

module Make : functor (Elt : RETRACTABLE) -> S with type elt = Elt.t and type key = Elt.key