rootCapability

An annotation used internally for root capability wrappers of cap that represent either Fresh or Result capabilities. A capability is encoded as caps.cap @rootCapability(...) where rootCapability(...) is a special kind of annotation of type root.Annot that contains either a hidden set for Fresh instances or a method type binder for Result instances.