Here's another useful one:

    any($x) eqv all($x) eqv one($x) eqv $x

but:

    none($x) !eqv $x

That is, applying any, all, or one to a one-item list produces the
equivalent to a single item.  For an empty list: any() eqv all() eqv
().  But what about one() and none()?

-- 
Jonathan "Dataweaver" Lang

Reply via email to