RESIZE-LIST.html -- ACL2 Version 6.3

## RESIZE-LIST

list resizer in support of stobjs

    Major Section:  STOBJ

`(Resize-list lst n default-value)` takes a list, `lst`, and a desired length, `n`, for the result list, as well as a `default-value` to use for the extra elements if `n` is greater than the length of `lst`.

`Resize-list` has a guard of `t`. This function is called in the body of function, `resize-<a>` where `<a>` is an array field of a stobj. See stobj and see defstobj.