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