package hacl-star-raw

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type everCrypt_Error_error_code = Unsigned.UInt8.t

val everCrypt_Error_error_code : Unsigned.uint8 Ctypes.typ

val everCrypt_Error_error_code_EverCrypt_Error_Success : Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_UnsupportedAlgorithm : 
  Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_InvalidKey : Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_AuthenticationFailure : 
  Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_InvalidIVLength : 
  Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_DecodeError : Unsigned.UInt8.t

val everCrypt_Error_error_code_EverCrypt_Error_MaximumLengthExceeded : 
  Unsigned.UInt8.t