| Modifier and Type | Method and Description |
|---|---|
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt_k(OnDecryptInput dafnyInput) |
Wrappers_Compile.Result<OnDecryptOutput,Error> |
OnDecrypt(OnDecryptInput dafnyInput) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt_k(OnEncryptInput dafnyInput) |
Wrappers_Compile.Result<OnEncryptOutput,Error> |
OnEncrypt(OnEncryptInput dafnyInput) |
protected final IKeyring _impl
public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput dafnyInput)
public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput dafnyInput)
OnDecrypt_k in interface IKeyringpublic Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput dafnyInput)
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput dafnyInput)
OnEncrypt_k in interface IKeyring