Skip to content

Fix Either.isLeft, Either.isRight & Option.isSome contract#2937

Merged
nomisRev merged 1 commit intomainfrom sv-fix-either-contractFeb 21, 2023
+2-9

Commits

Commits on Feb 21, 2023