Filtering...

non-executablep

books/std/system/non-executablep

Included Books

define constructors
other
(in-package "ACL2")
include-book
(include-book "std/util/define" :dir :system)
include-book
(include-book "xdoc/constructors" :dir :system)
other
(define non-executablep
  ((fn symbolp) (wrld plist-worldp))
  :returns (status "@('t'), @('nil'), or @(':program').")
  :parents (std/system/function-queries)
  :short "@(see Non-executable) status of a named function."
  :long (topstring-p "See @(tsee non-executablep+) for an enhanced variant of this utility.")
  (getpropc fn 'non-executablep nil wrld))