{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// The second set is produced lazily by supplying indices from the first set.
    /// Given two sets of values for the same set of canonical variables, unify them.
    fn unify_canonical_vars(