Module ArType

module ArType: sig .. end

Arbitrary generation of symbols

type 'a arbitrary = 'a QCheck.arbitrary

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

val base_g : Libzipperposition.Type.t gen

val base : Libzipperposition.Type.t arbitrary

Random base symbol

val ground_g : Libzipperposition.Type.t gen

val ground : Libzipperposition.Type.t arbitrary

Ground type

val default_g : Libzipperposition.Type.t gen

val default : Libzipperposition.Type.t arbitrary

Any type (polymorphic)