(REWRITE-RULE->RUNE$INLINE)
(REWRITE-RULE->NUME$INLINE)
(REWRITE-RULE->HYPS$INLINE)
(REWRITE-RULE->EQUIV$INLINE)
(REWRITE-RULE->LHS$INLINE)
(REWRITE-RULE->RHS$INLINE)
(REWRITE-RULE->SUBCLASS$INLINE)
(REWRITE-RULE->HEURISTIC-INFO$INLINE)
(REWRITE-RULE->BACKCHAIN-LIMIT-LST$INLINE)
(REWRITE-RULE->VAR-INFO$INLINE)
(REWRITE-RULE->MATCH-FREE$INLINE)
(DRW-GET-RULES)
(MAKE-REWRITE-RULE-FN$INLINE)
(WEAK-REWRITE-RULE-P-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->HYPS-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->LHS-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->RHS-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->EQUIV-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->SUBCLASS-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->HEURISTIC-INFO-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->RUNE-OF-MAKE-REWRITE-RULE-FN)
(REWRITE-RULE->NUME-OF-MAKE-REWRITE-RULE-FN)
