sig
  type 'a arbitrary = 'a QCheck.arbitrary
  type 'a gen = 'a QCheck.Gen.t
  val base_g : Libzipperposition.Type.t ArType.gen
  val base : Libzipperposition.Type.t ArType.arbitrary
  val ground_g : Libzipperposition.Type.t ArType.gen
  val ground : Libzipperposition.Type.t ArType.arbitrary
  val default_g : Libzipperposition.Type.t ArType.gen
  val default : Libzipperposition.Type.t ArType.arbitrary
end