		Search-engine friendly clone of the ACL2 documentation.

Candidate-with-least-nth-place-votes

Pick-candidate-with-smallest-id

Pick candidate with the smallest ID.

Signature
(pick-candidate-with-smallest-id cids) → *
Arguments: cids — Guard (nat-listp cids).

Definitions and Theorems

Function: pick-candidate-with-smallest-id

(defun pick-candidate-with-smallest-id (cids)
  (declare (xargs :guard (nat-listp cids)))
  (let ((__function__ 'pick-candidate-with-smallest-id))
    (declare (ignorable __function__))
    (car cids)))