Env-read-logic
- Signature
(env-read-logic x86) → *
Definitions and Theorems
Function: env-read-logic
(defun env-read-logic (x86)
(declare (xargs :stobjs (x86)))
(declare (xargs :guard t))
(let ((__function__ 'env-read-logic))
(declare (ignorable __function__))
(env x86)))
