software.amazon.cryptography.materialproviders.internaldafny.types

Interface IBranchKeyIdSupplier

All Known Implementing Classes:

BranchKeyIdSupplier.NativeWrapper

public interface IBranchKeyIdSupplier

Method Summary

Modifier and Type	Method and Description
Wrappers_Compile.Result<GetBranchKeyIdOutput,Error>	GetBranchKeyId_k(GetBranchKeyIdInput input)
Wrappers_Compile.Result<GetBranchKeyIdOutput,Error>	GetBranchKeyId(GetBranchKeyIdInput input)

Method Detail

GetBranchKeyId

Wrappers_Compile.Result<GetBranchKeyIdOutput,Error> GetBranchKeyId(GetBranchKeyIdInput input)

GetBranchKeyId_k

Wrappers_Compile.Result<GetBranchKeyIdOutput,Error> GetBranchKeyId_k(GetBranchKeyIdInput input)