Module Logtk_arbitrary.ArType

Arbitrary Generation of Types

type 'a arbitrary = 'a QCheck.arbitrary
type 'a gen = 'a QCheck.Gen.t
val base_g : Logtk.Type.t gen
val base : Logtk.Type.t arbitrary

Random base symbol

val ground_g : Logtk.Type.t gen
val ground : Logtk.Type.t arbitrary

Ground type

val default_g : Logtk.Type.t gen
val default : Logtk.Type.t arbitrary

Any type (polymorphic)