{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"self.lazy_array(sorted.into_iter().map(|(k,"}]}
        self.lazy_array(sorted.into_iter().map(|(k, v)| (*k, *v)))
        let sorted = implications.to_sorted_stable_ord();
    }