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