Odds
The odd-indexed members of a list
The call (odds x) returns the restriction of the true-list
x to its odd-indexed members (with zero-based indexing). Note that if
x is a list (k1 a1 k2 a2 ... kn an) that satisfies the predicate
keyword-value-listp, then (odds x) lists the values ai of
x.
Function: odds
(defun odds (l)
(declare (xargs :guard (true-listp l)))
(evens (cdr l)))
