- | (uri1,as1)::tl1,
- (uri2,as2)::_ when uri1 < uri2 -> intersect_aux tl1 rs2
- | (uri1,as1)::_,
- (uri2,as2)::tl2 when uri2 < uri1 -> intersect_aux rs1 tl2
+ | (uri1,_)::tl1,
+ (uri2,_)::_ when uri1 < uri2 -> intersect_aux tl1 rs2
+ | (uri1,_)::_,
+ (uri2,_)::tl2 when uri2 < uri1 -> intersect_aux rs1 tl2