(in-package "ACL2")
(include-book "rune-disabledp")
(define rune-enabledp ((rune (runep rune (w state))) state) :returns (yes/no booleanp) :verify-guards nil :parents (std/system) :short "Check if a @(see rune) is enabled." (not (rune-disabledp rune state)))