		Search-engine friendly clone of the ACL2 documentation.

Atc-table

Atc-maybe-call-infop

Optional information associated to an atc call in the table of atc calls.

Signature
(atc-maybe-call-infop x) → *

Definitions and Theorems

Function: atc-maybe-call-infop

(defun atc-maybe-call-infop (x)
  (declare (xargs :guard t))
  (let ((__function__ 'atc-maybe-call-infop))
    (declare (ignorable __function__))
    (or (atc-call-infop x) (eq x nil))))