x
x:
(exp number)
(defun simp-rule (rule) "Transform a rule into proper format." (let ((exp (infix->prefix rule))) (mkexp (expand-pat-match-abbrev (exp-lhs exp)) (exp-op exp) (exp-rhs exp))))
&aux
cffi-features:x86-64