Traverse types once when relating them invariantly - #254

Traverse types once when relating them invariantly#254

coord-e merged 1 commit into

maincoord-e/thrust:mainfrom

claude/reduce-duplicate-clauses-br7c8mcoord-e/thrust:claude/reduce-duplicate-clauses-br7c8mCopy head branch name to clipboard