module F : Cstubs.FOREIGNtype hacl_Streaming_Functor_state_s___uint32_t____ =
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structureval hacl_Streaming_Functor_state_s___uint32_t____ :
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes.typval hacl_Streaming_SHA2_create_in_224 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_256 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resulttype hacl_Streaming_Functor_state_s___uint64_t____ =
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structureval hacl_Streaming_Functor_state_s___uint64_t____ :
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes.typval hacl_Streaming_SHA2_create_in_384 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_create_in_512 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_SHA2_init_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_SHA2_update_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_SHA2_finish_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_SHA2_free_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.result