package hacl-star-raw

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

type hacl_Streaming_Types_error_code = Unsigned.UInt8.t
val hacl_Streaming_Types_error_code : Unsigned.uint8 Ctypes.typ
val hacl_Streaming_Types_error_code_Hacl_Streaming_Types_Success : Unsigned.UInt8.t
val hacl_Streaming_Types_error_code_Hacl_Streaming_Types_InvalidAlgorithm : Unsigned.UInt8.t
val hacl_Streaming_Types_error_code_Hacl_Streaming_Types_InvalidLength : Unsigned.UInt8.t
val hacl_Streaming_Types_error_code_Hacl_Streaming_Types_MaximumLengthExceeded : Unsigned.UInt8.t
type hacl_Streaming_MD_state_32 = [ `hacl_Streaming_MD_state_32 ] Ctypes.structure
val hacl_Streaming_MD_state_32 : [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typ
val hacl_Streaming_MD_state_32_block_state : (Unsigned.uint32 Ctypes_static.ptr, [ `hacl_Streaming_MD_state_32 ] Ctypes.structure) Ctypes.field
val hacl_Streaming_MD_state_32_buf : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Streaming_MD_state_32 ] Ctypes.structure) Ctypes.field
val hacl_Streaming_MD_state_32_total_len : (Unsigned.uint64, [ `hacl_Streaming_MD_state_32 ] Ctypes.structure) Ctypes.field
type hacl_Streaming_MD_state_64 = [ `hacl_Streaming_MD_state_64 ] Ctypes.structure
val hacl_Streaming_MD_state_64 : [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typ
val hacl_Streaming_MD_state_64_block_state : (Unsigned.uint64 Ctypes_static.ptr, [ `hacl_Streaming_MD_state_64 ] Ctypes.structure) Ctypes.field
val hacl_Streaming_MD_state_64_buf : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Streaming_MD_state_64 ] Ctypes.structure) Ctypes.field
val hacl_Streaming_MD_state_64_total_len : (Unsigned.uint64, [ `hacl_Streaming_MD_state_64 ] Ctypes.structure) Ctypes.field
type spec_Hash_Definitions_hash_alg = Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg : Unsigned.uint8 Ctypes.typ
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_224 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_256 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_384 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_512 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA1 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_MD5 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Blake2S : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Blake2B : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA3_256 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA3_224 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA3_384 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA3_512 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Shake128 : Unsigned.UInt8.t
val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_Shake256 : Unsigned.UInt8.t