module F : Cstubs.FOREIGNtype k____uint32_t___uint32_t_ =
[ `k____uint32_t___uint32_t_ ] Ctypes.structureval k____uint32_t___uint32_t_ :
[ `k____uint32_t___uint32_t_ ] Ctypes.structure Ctypes.typval k____uint32_t___uint32_t__fst :
(Unsigned.uint32 Ctypes_static.ptr,
[ `k____uint32_t___uint32_t_ ] Ctypes.structure)
Ctypes.fieldval k____uint32_t___uint32_t__snd :
(Unsigned.uint32 Ctypes_static.ptr,
[ `k____uint32_t___uint32_t_ ] Ctypes.structure)
Ctypes.fieldtype hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ =
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structureval hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ :
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes.typval hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t_____block_state :
([ `k____uint32_t___uint32_t_ ] Ctypes.structure,
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t_____buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t_____total_len :
(Unsigned.uint64,
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Blake2_blake2s_32_no_key_create_in :
(unit ->
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_no_key_update :
([ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_no_key_finish :
([ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_no_key_free :
([ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resulttype k____uint64_t___uint64_t_ =
[ `k____uint64_t___uint64_t_ ] Ctypes.structureval k____uint64_t___uint64_t_ :
[ `k____uint64_t___uint64_t_ ] Ctypes.structure Ctypes.typval k____uint64_t___uint64_t__fst :
(Unsigned.uint64 Ctypes_static.ptr,
[ `k____uint64_t___uint64_t_ ] Ctypes.structure)
Ctypes.fieldval k____uint64_t___uint64_t__snd :
(Unsigned.uint64 Ctypes_static.ptr,
[ `k____uint64_t___uint64_t_ ] Ctypes.structure)
Ctypes.fieldtype hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ =
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structureval hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ :
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes.typval hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t_____block_state :
([ `k____uint64_t___uint64_t_ ] Ctypes.structure,
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t_____buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t_____total_len :
(Unsigned.uint64,
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Blake2_blake2b_32_no_key_create_in :
(unit ->
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_no_key_update :
([ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_no_key_finish :
([ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_no_key_free :
([ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_with_key_create_in :
(Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_with_key_update :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_with_key_finish :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2s_32_with_key_free :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint32_t___uint32_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_with_key_create_in :
(Unsigned.uint32 ->
bytes Ctypes_static.ocaml ->
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr
F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_with_key_update :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
Unsigned.uint32 ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_with_key_finish :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit F.return)
F.resultval hacl_Streaming_Blake2_blake2b_32_with_key_free :
(Unsigned.uint32 ->
[ `hacl_Streaming_Functor_state_s__K____uint64_t___uint64_t____ ]
Ctypes.structure
Ctypes_static.ptr ->
unit F.return)
F.result