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