{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1700347492,"commit_time":1700347492,"committer":"GitHub","committer_email":"noreply@github.com","hash":"d7d078c7f9301bdd52ffe002bc8635264a81fdc1","message":"Node.vars() returns a set and properly dedup (#2356)\n\n* dedup RedNode.vars()\r\n\r\n* vars returns a set\r\n\r\n* fix more vars\r\n\r\n* unused import\r\n\r\n* update to_movement_ops\r\n\r\n* comment","parents":["0443cbfbb972b45a2f9bb945b896cf26225aedd2"],"tree_hash":"8215888270537c67ec4a2cbd84763727f8bf7ebb"}