Add extern

Author: rishav-karanjit

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

@@ -0,0 +1,11 @@
+package CreateWrappedItemEncryptor
+
+import (
+	"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
+	"github.com/aws/aws-database-encryption-sdk-dynamodb/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes"
+	"github.com/aws/aws-database-encryption-sdk-dynamodb/WrappedAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService"
+)
+
+func CreateWrappedItemEncryptor(config AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes.DynamoDbItemEncryptorConfig) Wrappers.Result {
+	return WrappedAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService.WrappedDynamoDbItemEncryptor(config)
+}