github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library@v0.2.0/Relations/Relations.go (about)

     1  // Package Relations
     2  // Dafny module Relations compiled into Go
     3  
     4  package Relations
     5  
     6  import (
     7  	os "os"
     8  
     9  	m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
    10  	m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_"
    11  	_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
    12  )
    13  
    14  var _ = os.Args
    15  var _ _dafny.Dummy__
    16  var _ m__System.Dummy__
    17  var _ m_Wrappers.Dummy__
    18  
    19  type Dummy__ struct{}