{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// The elements in `map` are sorted and non-adjacent, which means
///
/// the second value of the previous element is *greater* than the