Functor Reins.OracleSet.Benchmark

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

Parameters:

S : Sets.GenSetSig with type 'a result = 'a

val benchmark : ((S.elt, Dug.Id.t) generator, (S.elt, Dug.Id.t) mutator,
        (S.elt, Dug.Id.t) observer)
       Reins.Dug.t -> float