package hacl-star-raw
-
hacl-star-raw
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package hacl-star-raw
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 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_Functor_state_s___uint32_t_____block_state :
(Unsigned.uint32 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___uint32_t_____buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___uint32_t_____total_len :
(Unsigned.uint64,
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_create_in_224 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr
Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_init_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.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 Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_finish_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_free_224 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_create_in_256 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr
Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_init_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.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 Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_finish_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_free_256 :
([ `hacl_Streaming_Functor_state_s___uint32_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.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_Functor_state_s___uint64_t_____block_state :
(Unsigned.uint64 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___uint64_t_____buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_Functor_state_s___uint64_t_____total_len :
(Unsigned.uint64,
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_SHA2_create_in_384 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr
Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_init_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.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 Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_finish_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_free_384 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_create_in_512 :
(unit ->
[ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr
Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_init_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.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 Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_finish_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
bytes Ctypes_static.ocaml ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.resultval hacl_Streaming_SHA2_free_512 :
([ `hacl_Streaming_Functor_state_s___uint64_t____ ] Ctypes.structure
Ctypes_static.ptr ->
unit Hacl_Streaming_SHA2_stubs.return)
Hacl_Streaming_SHA2_stubs.result