mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Associate capabilities with methodapp

mukul-rathi opened this issue · comments

Track the variables available capabilities

Then type this in the constraints (should be a superset of required capabilities)