sig
  type 'a arbitrary = 'a QCheck.arbitrary
  type 'a gen = 'a QCheck.Gen.t
  val shrink : Libzipperposition.FOTerm.t QCheck.Shrink.t
  val default_g : Libzipperposition.FOTerm.t ArTerm.gen
  val default_fuel : int -> Libzipperposition.FOTerm.t ArTerm.gen
  val default : Libzipperposition.FOTerm.t ArTerm.arbitrary
  val ground_g : Libzipperposition.FOTerm.t ArTerm.gen
  val ground : Libzipperposition.FOTerm.t ArTerm.arbitrary
  val pred : Libzipperposition.FOTerm.t ArTerm.arbitrary
  val pos :
    Libzipperposition.FOTerm.t -> Libzipperposition.Position.t ArTerm.gen
  module PT :
    sig
      val shrink : Libzipperposition.TypedSTerm.t QCheck.Shrink.t
      val default_fuel : int -> Libzipperposition.TypedSTerm.t ArTerm.gen
      val default_g : Libzipperposition.TypedSTerm.t ArTerm.gen
      val default : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
      val ground_g : Libzipperposition.TypedSTerm.t ArTerm.gen
      val ground : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
      val pred_g : Libzipperposition.TypedSTerm.t ArTerm.gen
      val pred : Libzipperposition.TypedSTerm.t ArTerm.arbitrary
    end
end