search

dafny-lang / libraries

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

Add mapValue #23

Open hirataqdees opened 2 years ago

hirataqdees commented 2 years ago

This commit adds a function mapValue for mapping a function over values of a given map