Attributes
Members list
Type members
Types
Value members
Concrete methods
Is caps.cap a root capability that is allowed to subsume other capabilities?
Is caps.cap a root capability that is allowed to subsume other capabilities?
Attributes
If we are currently in capture checking or setup, and mt is a method type that is not a prefix of a curried method, perform op assuming a fresh enclosing existential scope mt, otherwise perform op directly.
If we are currently in capture checking or setup, and mt is a method type that is not a prefix of a curried method, perform op assuming a fresh enclosing existential scope mt, otherwise perform op directly.
Attributes
The currently opened existential scopes
The currently opened existential scopes
Attributes
Run op under the assumption that cap can subsume all other capabilties except Result capabilities. Every use of this method should be scrutinized for whether it introduces an unsoundness hole.
Run op under the assumption that cap can subsume all other capabilties except Result capabilities. Every use of this method should be scrutinized for whether it introduces an unsoundness hole.