Module ArID

module ArID: sig .. end

Arbitrary generation of symbols



type 'a arbitrary = 'a QCheck.arbitrary 
type 'a gen = 'a QCheck.Gen.t 
val default_g : Libzipperposition.ID.t gen
val default : Libzipperposition.ID.t arbitrary
Set of symbols
val set_g : Libzipperposition.ID.Set.t gen
val set : Libzipperposition.ID.Set.t arbitrary
Arbitrary set of various symbols