Conform with latest changes to Binder (used in closures)#27

danielsn merged 1 commit into

main-2021-04-09model-checking/kani:main-2021-04-09from

rebase-bindermodel-checking/kani:rebase-binderCopy head branch name to clipboard