{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
///    where a2 = decode(encode(a1, context1), context2)
/// Ord::cmp(a1, b1) == Ord::cmp(a2, b2)
///          b2 = decode(encode(b1, context1), context2)