module F : Cstubs.FOREIGNmodule Hacl_Spec_applied : sig ... endtype everCrypt_Hash_alg = Hacl_Spec_applied.spec_Hash_Definitions_hash_algval everCrypt_Hash_alg : Unsigned.uint8 Ctypes.typval constant : 'a -> (Unsigned.uint8 -> string F.return) F.resulttype everCrypt_Hash_broken_alg =
Hacl_Spec_applied.spec_Hash_Definitions_hash_algval everCrypt_Hash_broken_alg : Unsigned.uint8 Ctypes.typtype everCrypt_Hash_alg13 = Hacl_Spec_applied.spec_Hash_Definitions_hash_algval everCrypt_Hash_alg13 : Unsigned.uint8 Ctypes.typtype everCrypt_Hash_state_s_tags = Unsigned.UInt8.tval everCrypt_Hash_state_s_tags : Unsigned.uint8 Ctypes.typval everCrypt_Hash_state_s_tags_EverCrypt_Hash_MD5_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_SHA1_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_SHA2_224_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_SHA2_256_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_SHA2_384_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_SHA2_512_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_Blake2S_s : Unsigned.UInt8.tval everCrypt_Hash_state_s_tags_EverCrypt_Hash_Blake2B_s : Unsigned.UInt8.ttype everCrypt_Hash_state_s = [ `everCrypt_Hash_state_s ] Ctypes.structureval everCrypt_Hash_state_s :
[ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes.typval everCrypt_Hash_state_s_tag :
(Unsigned.uint8, [ `everCrypt_Hash_state_s ] Ctypes.structure) Ctypes.fieldtype everCrypt_Hash_state_s_val = [ `anonymous ] Ctypes.unionval everCrypt_Hash_state_s_val : [ `anonymous ] Ctypes.union Ctypes.typval everCrypt_Hash_state_s_val_case_MD5_s :
(Unsigned.uint32 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_SHA1_s :
(Unsigned.uint32 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_SHA2_224_s :
(Unsigned.uint32 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_SHA2_256_s :
(Unsigned.uint32 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_SHA2_384_s :
(Unsigned.uint64 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_SHA2_512_s :
(Unsigned.uint64 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_Blake2S_s :
(Unsigned.uint32 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_val_case_Blake2B_s :
(Unsigned.uint64 Ctypes_static.ptr, [ `anonymous ] Ctypes.union) Ctypes.fieldval everCrypt_Hash_state_s_u :
([ `anonymous ] Ctypes.union, [ `everCrypt_Hash_state_s ] Ctypes.structure)
Ctypes.fieldval everCrypt_Hash_alg_of_state :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
Unsigned.uint8 F.return)
F.resultval everCrypt_Hash_create_in :
(Unsigned.uint8 ->
[ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval everCrypt_Hash_create :
(Unsigned.uint8 ->
[ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval everCrypt_Hash_init :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval everCrypt_Hash_update_multi_256 :
(Unsigned.uint32 Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_update2 :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
Unsigned.uint64 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_update :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_update_multi2 :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
Unsigned.uint64 ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_update_multi :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_update_last_256 :
(Unsigned.uint32 Ctypes_static.ptr ->
Unsigned.uint64 ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_update_last2 :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
Unsigned.uint64 ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_update_last :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint64 ->
unit F.return)
F.resultval everCrypt_Hash_finish :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_free :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval everCrypt_Hash_copy :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
[ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval everCrypt_Hash_hash_256 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_hash_224 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_hash :
(Unsigned.uint8 ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_hash_len :
(Unsigned.uint8 -> Unsigned.uint32 F.return) F.resultval everCrypt_Hash_Incremental_block_len :
(Unsigned.uint8 -> Unsigned.uint32 F.return) F.resulttype hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ =
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structureval hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ :
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes.typval hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s_____block_state :
([ `everCrypt_Hash_state_s ] Ctypes.structure Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s_____buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s_____total_len :
(Unsigned.uint64,
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure)
Ctypes.fieldval everCrypt_Hash_Incremental_create_in :
(Unsigned.uint8 ->
[ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval everCrypt_Hash_Incremental_init :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_update :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_md5 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_sha1 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_sha224 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_sha256 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_sha384 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_sha512 :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_blake2s :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_finish_blake2b :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_alg_of_state :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
Unsigned.uint8 F.return)
F.resultval everCrypt_Hash_Incremental_finish :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval everCrypt_Hash_Incremental_free :
([ `hacl_Streaming_Functor_state_s___EverCrypt_Hash_state_s____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.result