- All Implemented Interfaces:
- Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>>, Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>
public class AwsKmsEncryptedDataKeyTransformer
extends java.lang.Object
implements Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>, Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<dafny.DafnySequence<? extends AwsKmsEdkHelper>,Error>>