dslx: parse semantic sum declarations and constructors#4457

dank-openai wants to merge 1 commit into

google:maingoogle/xls:mainfrom

xlsynth:dank/upstream/semantic-sum-frontendxlsynth/xlsynth:dank/upstream/semantic-sum-frontendCopy head branch name to clipboard