search

dafny-lang / libraries

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

feat: [Wrappers] Adding methods to support :-, covariance on type parameters #13

Closed robin-aws closed 3 years ago

parno commented 3 years ago

Would it be worth adding a comment (possibly with a link to documentation) about what the covariance + means? It's a feature that even relatively experienced Dafny developers may not have come across before.

robin-aws commented 3 years ago

Good call @parno, I'll add another use case to the example file to show what it enables as well.

parno commented 3 years ago

Excellent, good idea!