module F : Cstubs.FOREIGNtype hacl_Streaming_SHA2_state_sha2_224 =
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structureval hacl_Streaming_SHA2_state_sha2_224 :
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes.typval hacl_Streaming_SHA2_state_sha2_224_block_state :
(Unsigned.uint32 Ctypes_static.ptr,
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_state_sha2_224_buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_state_sha2_224_total_len :
(Unsigned.uint64, [ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure)
Ctypes.fieldtype hacl_Streaming_SHA2_state_sha2_256 = hacl_Streaming_SHA2_state_sha2_224val hacl_Streaming_SHA2_state_sha2_256 :
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes.typtype hacl_Streaming_SHA2_state_sha2_384 =
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structureval hacl_Streaming_SHA2_state_sha2_384 :
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes.typval hacl_Streaming_SHA2_state_sha2_384_block_state :
(Unsigned.uint64 Ctypes_static.ptr,
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_state_sha2_384_buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_state_sha2_384_total_len :
(Unsigned.uint64, [ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure)
Ctypes.fieldtype hacl_Streaming_SHA2_state_sha2_512 = hacl_Streaming_SHA2_state_sha2_384val hacl_Streaming_SHA2_state_sha2_512 :
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes.typval hacl_Streaming_SHA2_create_in_224 :
(unit ->
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_224 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_224 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_224 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_224 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_256 :
(unit ->
[ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_256 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_256 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_256 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_256 :
([ `hacl_Streaming_SHA2_state_sha2_224 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_384 :
(unit ->
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_384 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_384 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_384 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_384 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_512 :
(unit ->
[ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_512 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_512 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_512 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_512 :
([ `hacl_Streaming_SHA2_state_sha2_384 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.result