syntax_data: {"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // such that `unify(a, b)` is the "smaller" of `a` and `b`.
context_before: // N.B., the order of the variants is from general to specific,
context_after: #[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug)]