{"ast_node_type":"function","tokens":[{"end":28,"kind":"keyword","start":0,"text":"fn"}]}
    fn unify_canonical_vars(
    /// The second set is produced lazily by supplying indices from the first set.
        &self,