[opt] Support lifting operations through OneHotSelect#4394

copybara-service[bot] wants to merge 1 commit into

maingoogle/xls:mainfrom

test_930781718google/xls:test_930781718Copy head branch name to clipboard