TestVectors/runtimes/go/ImplementationFromDafny-go/WrappedESDK/extern.go

package WrappedESDK

import (
	"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
	"github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes"
	"github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test/WrappedAwsCryptographyEncryptionSdkService"
)

func (_static CompanionStruct_Default___) WrappedESDK(config AwsCryptographyEncryptionSdkTypes.AwsEncryptionSdkConfig) Wrappers.Result {
	return WrappedAwsCryptographyEncryptionSdkService.WrappedESDK(config)
}