Rename: assume to provide, assert to require, isleType to Int#64
Merged
avanhatt merged 2 commits intoverify-mainfrom Apr 13, 2023
Merged
Rename: assume to provide, assert to require, isleType to Int#64avanhatt merged 2 commits intoverify-mainfrom
assume to provide, assert to require, isleType to Int#64avanhatt merged 2 commits intoverify-mainfrom
