module F : Cstubs.FOREIGNmodule Hacl_Streaming_Types_applied : sig ... endval hacl_SHA2_Scalar32_sha512_init :
(Unsigned.uint64 Ctypes_static.ptr -> unit F.return) F.resulttype hacl_Streaming_SHA2_state_sha2_224 =
Hacl_Streaming_Types_applied.hacl_Streaming_MD_state_32val hacl_Streaming_SHA2_state_sha2_224 :
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typtype hacl_Streaming_SHA2_state_sha2_256 =
Hacl_Streaming_Types_applied.hacl_Streaming_MD_state_32val hacl_Streaming_SHA2_state_sha2_256 :
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typtype hacl_Streaming_SHA2_state_sha2_384 =
Hacl_Streaming_Types_applied.hacl_Streaming_MD_state_64val hacl_Streaming_SHA2_state_sha2_384 :
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typtype hacl_Streaming_SHA2_state_sha2_512 =
Hacl_Streaming_Types_applied.hacl_Streaming_MD_state_64val hacl_Streaming_SHA2_state_sha2_512 :
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typval hacl_Streaming_SHA2_create_in_256 :
(unit ->
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_copy_256 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_init_256 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_256 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
Unsigned.uint32 F.return)
F.resultval hacl_Streaming_SHA2_finish_256 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_256 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_sha256 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_224 :
(unit ->
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_init_224 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_224 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
Unsigned.uint32 F.return)
F.resultval hacl_Streaming_SHA2_finish_224 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_224 :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_sha224 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_512 :
(unit ->
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_copy_512 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_init_512 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_512 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
Unsigned.uint32 F.return)
F.resultval hacl_Streaming_SHA2_finish_512 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_512 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_sha512 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_384 :
(unit ->
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_SHA2_init_384 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_384 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
Unsigned.uint32 F.return)
F.resultval hacl_Streaming_SHA2_finish_384 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_384 :
([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_sha384 :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.result