Major Section: THEORIES
Example: (active-runep '(:rewrite left-to-right))where
General Form: (active-runep rune)
runehas the shape of a rune. This macro expands to an expression using the variables
state, and returns non-
nilwhen 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.