STANDARD-OI.html -- ACL2 Version 6.3

### STANDARD-OI

the standard object input ``channel''

    Major Section:  ACL2-BUILT-INS

`Standard-oi` is an `ld` special (see ld). The accessor is `(standard-oi state)` and the updater is `(set-standard-oi val state)`. `Standard-oi` must be an open object input channel, a true list of objects, or a list of objects whose last `cdr` is an open object input channel. It is from this source that `ld` takes the input forms to process. When `ld` is called, if the value specified for `standard-oi` is a string or a list of objects whose last `cdr` is a string, then `ld` treats the string as a file name and opens an object input channel from that file, where the connected book directory (see cbd) is used to resolve relative pathnames. The channel opened by `ld` is closed by `ld` upon termination.

``Standard-oi'' stands for ``standard object input.'' The read-eval-print loop in `ld` reads the objects in `standard-oi` and treats them as forms to be evaluated. The initial value of `standard-oi` is the same as the value of `*standard-oi*` (see *standard-oi*).