Module ArForm

module ArForm: sig .. end

type 'a arbitrary = 'a QCheck.arbitrary 

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

type form = Libzipperposition.TypedSTerm.t 

val atom_g : form gen

val atom : form arbitrary

val clause_g : form list gen

val clause : form list arbitrary

val default : form arbitrary

val default_fuel : int -> form gen