Module Reins.Oracle

module Oracle: sig .. end

Frontend to automatic benchmarking of data structures (work in progress)

module type RestrictedSet = Reins.Sets.GenSetSig  with type 'a result = 'a

module type ProfiledSet = sig .. end