search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

feat: Need helper function #16

Closed seebees closed 2 years ago

seebees commented 2 years ago

A function to express needed requirements.

There is quite a bit of bikeshedding possible on the names. And it may be that this should be a function instead of a method.