`frame` is not documented - Githubissues

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

https://utwente.nl/vercors

Mozilla Public License 2.0

55 stars 26 forks source link

`frame` is not documented #1175

Open pieter-bos opened 6 months ago

pieter-bos commented 6 months ago

Also:

[ ] choose, choose_fresh
[ ] [a..b] and {a..b}
[ ] pvl generics?