Re: contrib/intarray vs empty arrays

2009/4/9 Teodor Sigaev :
> contains - all elements of second array are contained in the first one.
> Empty array has no element, so it can't be contained.

That sounds wrong. A  B should surely always be true if B is
empty. ie "for all x, x in B implies x in A". Or put another way,
"contains" just means "is a superset of" and all sets are supersets of
the empty set (even the empty set).

-- 
greg