• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
      • Io
      • Defttag
        • Set-raw-mode
        • Include-raw
        • Remove-untouchable
        • Push-untouchable
        • Set-deferred-ttag-notes
        • Untouchable
          • Set-raw-mode-on!
          • Set-raw-mode-on
        • Sys-call
        • Save-exec
        • Quicklisp
        • Oslib
        • Std/io
        • Bridge
        • Clex
        • Tshell
        • Unsound-eval
        • Hacker
        • Startup-banner
        • Command-line
      • Hardware-verification
      • Software-verification
      • Testing-utilities
      • Math
    • Defttag

    Untouchable

    Function symbols and state globals that cannot be referenced

    Untouchables are functions that cannot be called, as well as state global variables (see programming-with-state) that cannot be modified or unbound. To add or remove untouchables, see push-untouchable and see remove-untouchable. Macros can be made effectively untouchable as well; see defmacro-untouchable.