Module EverCrypt.Error
Return type used for AEAD functions
type error_code=|UnsupportedAlgorithm|InvalidKey|AuthenticationFailure|InvalidIVLength|DecodeErrortype 'a result=|Success of 'a|Error of error_code
EverCrypt.ErrorReturn type used for AEAD functions
type error_code = | UnsupportedAlgorithm |
| InvalidKey |
| AuthenticationFailure |
| InvalidIVLength |
| DecodeError |
type 'a result = | Success of 'a |
| Error of error_code |