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