sig
  type 'a arbitrary = 'a QCheck.arbitrary
  type 'a gen = 'a QCheck.Gen.t
  type form = Libzipperposition.TypedSTerm.t
  val atom_g : ArForm.form ArForm.gen
  val atom : ArForm.form ArForm.arbitrary
  val clause_g : ArForm.form list ArForm.gen
  val clause : ArForm.form list ArForm.arbitrary
  val default : ArForm.form ArForm.arbitrary
  val default_fuel : int -> ArForm.form ArForm.gen
end