Major Section: ACL2-BUILT-INS
For a nonnegative integer
(Make-list size) is a list of
elements of length
size, each of which is initialized to the
:initial-element (which defaults to
Make-list is a macro in ACL2, defined in terms of a tail
make-list-ac whose guard requires
be a nonnegative integer.
Make-list is a Common Lisp function.
See any Common Lisp documentation for more information.