{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":".all(|[a,"}]}
                .all(|[a, b]| a.skip_binder().stable_cmp(self, &b.skip_binder())
            eps.array_windows()
                    != Ordering::Greater)