Associate capabilities with methodapp
mukul-rathi opened this issue · comments
Mukul Rathi commented
Track the variables available capabilities
Then type this in the constraints (should be a superset of required capabilities)
Bolt is a language with in-built data-race freedom!
mukul-rathi opened this issue · comments
Track the variables available capabilities
Then type this in the constraints (should be a superset of required capabilities)