two more

Author: robin-aws

DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/Index.dfy

@@ -102,7 +102,7 @@ module
   }
 
   method {:vcs_split_on_every_assert} DynamoDbEncryptionTransforms(config: AwsCryptographyDbEncryptionSdkDynamoDbTypes.DynamoDbTablesEncryptionConfig)
-    returns (res: Result<IDynamoDbEncryptionTransformsClient, Error>)
+    returns (res: Result<DynamoDbEncryptionTransformsClient, Error>)
     //= specification/dynamodb-encryption-client/ddb-table-encryption-config.md#logical-table-name
     //= type=implication
     //# When mapping [DynamoDB Table Names](#dynamodb-table-name) to [logical table name](#logical-table-name)

DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Index.dfy

@@ -45,7 +45,7 @@ module
   }
 
   method {:vcs_split_on_every_assert} DynamoDbItemEncryptor(config: DynamoDbItemEncryptorConfig)
-    returns (res: Result<IDynamoDbItemEncryptorClient, Error>)
+    returns (res: Result<DynamoDbItemEncryptorClient, Error>)
     ensures res.Success? ==>
               && res.value is DynamoDbItemEncryptorClient
               && var rconfig := (res.value as DynamoDbItemEncryptorClient).config;