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