		Search-engine friendly clone of the ACL2 documentation.

Fibonacci32-cosim

Make-fib32-addr-alst

Signature
(make-fib32-addr-alst start-addr halt-addr) → *

Definitions and Theorems

Function: make-fib32-addr-alst

(defun make-fib32-addr-alst
       (start-addr halt-addr)
       (declare (xargs :guard t))
       (let ((__function__ 'make-fib32-addr-alst))
            (declare (ignorable __function__))
            (if (or (not (integerp start-addr))
                    (not (integerp halt-addr))
                    (not (< start-addr halt-addr)))
                (list halt-addr)
                (cons start-addr
                      (make-fib32-addr-alst (1+ start-addr)
                                            halt-addr)))))