Module `Logtk_arbitrary.ArID`

Arbitrary generation of Identifiers

type 'a arbitrary = 'a QCheck.arbitrary
type 'a gen = 'a QCheck.Gen.t

val default_g : Logtk.ID.t gen
val default : Logtk.ID.t arbitrary: Set of symbols

val set_g : Logtk.ID.Set.t gen
val set : Logtk.ID.Set.t arbitrary: Arbitrary set of various symbols