		Search-engine friendly clone of the ACL2 documentation.

Components-of-the-environment-field

Env-write-logic

Signature
(env-write-logic env x86) → x86

Definitions and Theorems

Function: env-write-logic

(defun env-write-logic (env x86)
  (declare (xargs :stobjs (x86)))
  (declare (xargs :guard (env-alistp env)))
  (let ((__function__ 'env-write-logic))
    (declare (ignorable __function__))
    (!env env x86)))