Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
rootCapability
scala.caps.internal.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.
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4