Retyping arrays and lambdas with Address domain sorts - #181

Retyping arrays and lambdas with Address domain sorts#181

metametamoon wants to merge 4 commits into

UnitTestBot:mainUnitTestBot/ksmt:mainfrom

metametamoon:bitwuzla-uninterpreted-array-modelmetametamoon/ksmt:bitwuzla-uninterpreted-array-modelCopy head branch name to clipboard