Size of a set represented as a list.
General Forms: (set-size x) (set-size x :test 'eql) ; same as above (eql as equality test) (set-size x :test 'eq) ; same, but eq is equality test (set-size x :test 'equal) ; same, but equal is equality test
This is the number of unique elements in the set.
The optional keyword,
The guard for a call of
See equality-variants for a discussion of
the relation between
(set-size-eq x)is equivalent to (set-size x :test 'eq); (set-size-equal x)is equivalent to (set-size x :test 'equal).
In particular, reasoning about any of these primitives
reduces to reasoning about the function