{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
/// inserted efficiently.
/// ranges of elements as a slice, and slices of already sorted elements can be
#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Encodable_NoContext, Decodable_NoContext)]