|
|
|---|
|
|
|
|---|
Abstract stobj: logically this just represents a list of
This is a simple abstract stobj array, introduced by def-1d-arr.
Definition:
(defabsstobj litarr :foundation litarr$c :recognizer (litarrp :exec litarr$cp :logic litarr$ap) :creator (create-litarr :exec create-litarr$c :logic create-litarr$a) :corr-fn litarr$corr :exports ((lits-length :exec lits$c-length :logic lits$a-length) (get-lit_ :exec lits$ci :logic lits$ai) (set-lit_ :exec update-lits$ci :logic update-lits$ai) (resize-lits :exec resize-lits$c :logic resize-lits$a)))