ACTIVE-RUNEP.html -- ACL2 Version 6.3

## ACTIVE-RUNEP

check that a rune exists and is enabled

    Major Section:  THEORIES

    Example:
    (active-runep '(:rewrite left-to-right))

    General Form:
    (active-runep rune)

where `rune` has the shape of a rune. This macro expands to an expression using the variables `ens` and `state`, and returns non-`nil` when the given rune exists and is enabled (according to the given ``enabled structure,'' `ens`, and the current logical world of the given `state`). See theory-invariant for how this macro can be of use.