		Search-engine friendly clone of the ACL2 documentation.

Static-semantics

Function-called-in

Signature
(function-called-in fn-name expr) → *
Arguments: fn-name — Guard (stringp fn-name).

Definitions and Theorems

Function: function-called-in

(defun function-called-in (fn-name expr)
  (declare (xargs :guard (stringp fn-name)))
  (let ((__function__ 'function-called-in))
    (declare (ignorable __function__))
    (member-equal fn-name (functions-called expr))))