		Search-engine friendly clone of the ACL2 documentation.

Alist-to-doublets

Convert an alist to a list of two-element lists

The call (alist-to-doublets alist) returns the result of replacing each pair (x . y) in the given alist by the two-element list (x y). The order is preserved, i.e., the following is a theorem.

(implies (and (natp i) (< i (len alist)))
         (equal (nth i (alist-to-doublets alist))
                (let ((pair (nth i alist)))
                  (list (car pair) (cdr pair)))))

Subtopics

Doublets-to-alist: Turn a true list of doublets (i.e. lists of length 2) into the corresponding alist.