module F : Cstubs.FOREIGNmodule Hacl_Streaming_Types_applied : sig ... endval hacl_Hash_Core_MD5_legacy_init :
(Unsigned.uint32 Ctypes_static.ptr -> unit F.return) F.resultval hacl_Hash_Core_MD5_legacy_finish :
(Unsigned.uint32 Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Hash_MD5_legacy_update_multi :
(Unsigned.uint32 Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Hash_MD5_legacy_update_last :
(Unsigned.uint32 Ctypes_static.ptr ->
Unsigned.uint64 ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Hash_MD5_legacy_hash :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resulttype hacl_Streaming_MD5_state =
Hacl_Streaming_Types_applied.hacl_Streaming_MD_state_32val hacl_Streaming_MD5_state :
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typval hacl_Streaming_MD5_legacy_create_in :
(unit ->
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr F.return)
F.resultval hacl_Streaming_MD5_legacy_init :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_MD5_legacy_update :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
Unsigned.uint8 F.return)
F.resultval hacl_Streaming_MD5_legacy_finish :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_MD5_legacy_free :
([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_MD5_legacy_copy :
([ `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_MD5_legacy_hash :
(bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.result