((/xdoc-impl/sort.lisp::<< (nil nil nil (and) nil nil nil) (nil nil (not) (lexorder) nil nil nil) ((a b) nil nil (equal) nil nil nil) ((a b) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/xdoc-impl/sort.lisp::fast-union (nil nil nil nil nil nil (cond)) (nil nil ((atom x) (atom y) (equal (car x) (car y)) (<< (car x) (car y)) t) nil nil nil nil) (nil nil nil (revappend revappend) (recursive-call recursive-call recursive-call) nil nil) ((acc y acc x y x) nil (cdr cdr cdr cdr) (cons cons cons) nil nil nil) ((x y acc x acc y acc) nil (car car car) nil nil nil nil) ((x x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/xdoc-impl/sort.lisp::mergesort (nil nil nil nil (cond) nil nil) (nil nil ((atom x) (atom (cdr x)) t) nil nil nil nil) ((nil) nil (list) nil (mv-let) nil nil) (nil nil (car part1 halve-list) nil (fast-union) nil nil) ((x part2 x nil) nil (recursive-call recursive-call) nil nil nil nil) ((part1 part2) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))