{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
            // Easy case is when either a < b or b < a:
        let lub_indices = self.with_closure(|closure| {
            if closure.contains(a.0, b.0) {