(make-url-encode-array n) → *
Function:
(defun make-url-encode-array (n) (declare (xargs :guard (natp n))) (declare (xargs :guard (<= n 255))) (let ((acl2::__function__ 'make-url-encode-array)) (declare (ignorable acl2::__function__)) (if (zp n) (list (cons n (url-encode-char (code-char n)))) (cons (cons n (url-encode-char (code-char n))) (make-url-encode-array (- n 1))))))