Add holdsIn contracts#3803

serras merged 3 commits intomainarrow-kt/arrow:mainfrom

kyay10/new-contractsarrow-kt/arrow:kyay10/new-contractsCopy head branch name to clipboard