		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)))))