Functor Reins.OracleSet.Extractor

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

Parameters:

A : Reins.Types.Mono.ArbitraryComparable

include Reins.Sets.GenSetSig

val get_dug : unit ->
       ((elt, Dug.Id.t) generator, (elt, Dug.Id.t) mutator,
        (elt, Dug.Id.t) observer)
       Reins.Dug.t

val clear_profile : unit -> unit