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