Module Reins.OracleSet

module OracleSet: sig .. end

Set ADT which captures a DUG as a side effect

include Reins.DugADT.S

module Extractor: functor (A : Reins.Types.Mono.ArbitraryComparable) -> sig .. end

module Benchmark: functor (S : Reins.Sets.GenSetSig  with type 'a result = 'a) -> sig .. end