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

     1  // Package Functions
     2  // Dafny module Functions compiled into Go
     3  
     4  package Functions
     5  
     6  import (
     7  	os "os"
     8  
     9  	m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts"
    10  	m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_"
    11  	m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations"
    12  	m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq"
    13  	m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort"
    14  	m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_"
    15  	m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
    16  	m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_"
    17  	_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
    18  )
    19  
    20  var _ = os.Args
    21  var _ _dafny.Dummy__
    22  var _ m__System.Dummy__
    23  var _ m_Wrappers.Dummy__
    24  var _ m_Relations.Dummy__
    25  var _ m_Seq_MergeSort.Dummy__
    26  var _ m__Math.Dummy__
    27  var _ m_Seq.Dummy__
    28  var _ m_BoundedInts.Dummy__
    29  var _ m__Unicode.Dummy__
    30  
    31  type Dummy__ struct{}