Give enums nested in a body, impl, or closure a unique SMT-safe datatype name - #317

Give enums nested in a body, impl, or closure a unique SMT-safe datatype name#317

coord-e merged 2 commits into

maincoord-e/thrust:mainfrom

claude/gifted-bohr-52o26acoord-e/thrust:claude/gifted-bohr-52o26aCopy head branch name to clipboard