rune-disabledp

(in-package "ACL2")

(define rune-disabledp
  ((rune (runep rune (w state))) state)
  :returns (yes/no booleanp)
  :verify-guards nil
  :parents (std/system)
  :short "Check if a @(see rune) is disabled."
  (if (member-equal rune (disabledp (cadr rune)))
    t
    nil))