((/centaur/gl/g-equal.lisp::equal-of-numbers (nil nil nil (b*) nil nil nil) (nil nil (((mv arn ard ain aid) (general-number-components a))) nil (g-if) nil nil) (nil nil ((mv brn brd bin bid) mk-g-boolean mk-g-boolean) (g-apply) nil nil nil) (nil nil (general-number-components quote) (bfr-and bfr-and list) nil nil nil) ((b equal a b) nil nil (=-uu =-uu bfr-or bfr-or) nil nil nil) ((ard brd aid bid) nil nil (=-uu =-ss =-uu =-ss) nil nil nil) ((nil ard arn brn nil aid ain bin) nil nil nil nil nil nil)))