Support higher-order function sorts and partial application - #122

Support higher-order function sorts and partial application#122

daniel-larraz merged 2 commits into

cvc5:maincvc5/cvc5_pythonic_api:mainfrom

daniel-larraz:higher-order-applydaniel-larraz/cvc5_pythonic_api:higher-order-applyCopy head branch name to clipboard