{"ast_node_type":"function","tokens":[{"end":39,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn add(&mut self, a: T, b: T) {
    /// Indicate that `a < b` (where `<` is this relation)
        let a = self.add_index(a);