sig
  type 'a arbitrary = 'a QCheck.arbitrary
  type 'a gen = 'a QCheck.Gen.t
  val default_g : Libzipperposition.ID.t ArID.gen
  val default : Libzipperposition.ID.t ArID.arbitrary
  val set_g : Libzipperposition.ID.Set.t ArID.gen
  val set : Libzipperposition.ID.Set.t ArID.arbitrary
end