fr.hammons.slinc.Slinc
See theSlinc companion object
trait Slinc
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
Givens
Givens
Exports
Defined exports
export given_ConfinedScope
Exported from ScopeI
export given_GlobalScope
Exported from ScopeI
export given_SharedScope
Exported from ScopeI
export given_TempScope
Exported from ScopeI
inline export reducedProof[A, Cap <: Capabilities, C[_], N <: Int](using c: ContextProof[Cap, A], l: LocationInCap[C, Cap, N])
Exported from ContextProof
In this article