Module `Logtk_arbitrary.ArLiteral`

Arbitrary Literals

type 'a arbitrary = 'a QCheck.arbitrary
type 'a gen = 'a QCheck.Gen.t
type lit = Logtk.Literal.t
type clause = Logtk.Literals.t

val lit_g : lit gen
val lit : lit arbitrary
val clause_g : clause gen
val clause : clause arbitrary: clause