Hacl_Hash (hacl-star.Hacl_star.SharedDefs.Hacl

include sig ... end

val hacl_Hash_Definitions_word_len : 
  (Unsigned.uint8 ->
    Unsigned.uint32 Hacl_Hash_Base_stubs.return)
    Hacl_Hash_Base_stubs.result

val hacl_Hash_Definitions_block_len : 
  (Unsigned.uint8 ->
    Unsigned.uint32 Hacl_Hash_Base_stubs.return)
    Hacl_Hash_Base_stubs.result

val hacl_Hash_Definitions_hash_word_len : 
  (Unsigned.uint8 ->
    Unsigned.uint32 Hacl_Hash_Base_stubs.return)
    Hacl_Hash_Base_stubs.result

val hacl_Hash_Definitions_hash_len : 
  (Unsigned.uint8 ->
    Unsigned.uint32 Hacl_Hash_Base_stubs.return)
    Hacl_Hash_Base_stubs.result

include sig ... end

val hacl_Hash_MD5_init : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_finish : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_update_multi : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_update_last : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint64 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_hash_oneshot : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

type hacl_Hash_MD5_state_t = [ `hacl_Streaming_MD_state_32 ] Ctypes.structure

val hacl_Hash_MD5_state_t : 
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typ

val hacl_Hash_MD5_malloc : 
  (unit ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_reset : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_update : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_digest : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_free : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_copy : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

val hacl_Hash_MD5_hash : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_MD5_stubs.return)
    Hacl_Hash_MD5_stubs.result

include sig ... end

val hacl_Hash_SHA1_init : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_finish : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_update_multi : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_update_last : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint64 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_hash_oneshot : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

type hacl_Hash_SHA1_state_t = [ `hacl_Streaming_MD_state_32 ] Ctypes.structure

val hacl_Hash_SHA1_state_t : 
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typ

val hacl_Hash_SHA1_malloc : 
  (unit ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_reset : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_update : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_digest : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_free : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_copy : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

val hacl_Hash_SHA1_hash : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA1_stubs.return)
    Hacl_Hash_SHA1_stubs.result

include sig ... end

val hacl_Hash_SHA2_sha256_init : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha256_update_nblocks : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha256_update_last : 
  (Unsigned.uint64 ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha256_finish : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha224_init : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha224_update_last : 
  (Unsigned.uint64 ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha224_finish : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha512_init : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha512_update_nblocks : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha512_finish : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha384_init : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha384_update_nblocks : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_sha384_finish : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

type hacl_Hash_SHA2_state_t_224 =
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure

val hacl_Hash_SHA2_state_t_224 : 
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typ

type hacl_Hash_SHA2_state_t_256 =
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure

val hacl_Hash_SHA2_state_t_256 : 
  [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typ

type hacl_Hash_SHA2_state_t_384 =
  [ `hacl_Streaming_MD_state_64 ] Ctypes.structure

val hacl_Hash_SHA2_state_t_384 : 
  [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typ

type hacl_Hash_SHA2_state_t_512 =
  [ `hacl_Streaming_MD_state_64 ] Ctypes.structure

val hacl_Hash_SHA2_state_t_512 : 
  [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typ

val hacl_Hash_SHA2_malloc_256 : 
  (unit ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_copy_256 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_reset_256 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_update_256 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_digest_256 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_free_256 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_hash_256 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_malloc_224 : 
  (unit ->
    [ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_reset_224 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_update_224 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_digest_224 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_free_224 : 
  ([ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_hash_224 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_malloc_512 : 
  (unit ->
    [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_copy_512 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_reset_512 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_update_512 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_digest_512 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_free_512 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_hash_512 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_malloc_384 : 
  (unit ->
    [ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_reset_384 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_update_384 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_digest_384 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_free_384 : 
  ([ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

val hacl_Hash_SHA2_hash_384 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_SHA2_stubs.return)
    Hacl_Hash_SHA2_stubs.result

include sig ... end

type hacl_Hash_Blake2b_blake2_params =
  [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure

val hacl_Hash_Blake2b_blake2_params : 
  [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2b_blake2_params_digest_length : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_key_length : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_fanout : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_depth : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_leaf_length : 
  (Unsigned.uint32, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_node_offset : 
  (Unsigned.uint64, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_node_depth : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_inner_length : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_salt : 
  (Unsigned.uint8 Ctypes_static.ptr,
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_blake2_params_personal : 
  (Unsigned.uint8 Ctypes_static.ptr,
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure)
    Ctypes.field

type hacl_Hash_Blake2b_index = [ `hacl_Hash_Blake2b_index ] Ctypes.structure

val hacl_Hash_Blake2b_index : 
  [ `hacl_Hash_Blake2b_index ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2b_index_key_length : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_index ] Ctypes.structure) Ctypes.field

val hacl_Hash_Blake2b_index_digest_length : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_index ] Ctypes.structure) Ctypes.field

val hacl_Hash_Blake2b_init : 
  (Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Unsigned.uint32 ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_finish : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

type k____uint64_t___uint64_t_ =
  [ `k____uint64_t___uint64_t_ ] Ctypes.structure

val k____uint64_t___uint64_t_ : 
  [ `k____uint64_t___uint64_t_ ] Ctypes.structure Ctypes.typ

val k____uint64_t___uint64_t__fst : 
  (Unsigned.uint64 Ctypes_static.ptr,
    [ `k____uint64_t___uint64_t_ ] Ctypes.structure)
    Ctypes.field

val k____uint64_t___uint64_t__snd : 
  (Unsigned.uint64 Ctypes_static.ptr,
    [ `k____uint64_t___uint64_t_ ] Ctypes.structure)
    Ctypes.field

type hacl_Hash_Blake2b_block_state_t =
  [ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure

val hacl_Hash_Blake2b_block_state_t : 
  [ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2b_block_state_t_fst : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_block_state_t_snd : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_block_state_t_thd : 
  ([ `k____uint64_t___uint64_t_ ] Ctypes.structure,
    [ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure)
    Ctypes.field

type hacl_Hash_Blake2b_state_t =
  [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure

val hacl_Hash_Blake2b_state_t : 
  [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2b_state_t_block_state : 
  ([ `hacl_Hash_Blake2b_block_state_t ] Ctypes.structure,
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_state_t_buf : 
  (Unsigned.uint8 Ctypes_static.ptr,
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_state_t_total_len : 
  (Unsigned.uint64, [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2b_malloc_with_params_and_key : 
  ([ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_malloc_with_key : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint8 ->
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_malloc : 
  (unit ->
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_reset_with_key_and_params : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_reset_with_key : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_reset : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_update : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_digest : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_free : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_copy : 
  ([ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Hash_Blake2b_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_hash_with_key : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

val hacl_Hash_Blake2b_hash_with_key_and_paramas : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2b_stubs.return)
    Hacl_Hash_Blake2b_stubs.result

include sig ... end

module Hacl_Streaming_Types_applied : sig ... end

module Hacl_Hash_Blake2b_applied : sig ... end

val hacl_Hash_Blake2s_init : 
  (Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Unsigned.uint32 ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_update_multi : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint64 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_update_last : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint64 ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_finish : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

type k____uint32_t___uint32_t_ =
  [ `k____uint32_t___uint32_t_ ] Ctypes.structure

val k____uint32_t___uint32_t_ : 
  [ `k____uint32_t___uint32_t_ ] Ctypes.structure Ctypes.typ

val k____uint32_t___uint32_t__fst : 
  (Unsigned.uint32 Ctypes_static.ptr,
    [ `k____uint32_t___uint32_t_ ] Ctypes.structure)
    Ctypes.field

val k____uint32_t___uint32_t__snd : 
  (Unsigned.uint32 Ctypes_static.ptr,
    [ `k____uint32_t___uint32_t_ ] Ctypes.structure)
    Ctypes.field

type hacl_Hash_Blake2s_block_state_t =
  [ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure

val hacl_Hash_Blake2s_block_state_t : 
  [ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2s_block_state_t_fst : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2s_block_state_t_snd : 
  (Unsigned.uint8, [ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2s_block_state_t_thd : 
  ([ `k____uint32_t___uint32_t_ ] Ctypes.structure,
    [ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure)
    Ctypes.field

type hacl_Hash_Blake2s_state_t =
  [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure

val hacl_Hash_Blake2s_state_t : 
  [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes.typ

val hacl_Hash_Blake2s_state_t_block_state : 
  ([ `hacl_Hash_Blake2s_block_state_t ] Ctypes.structure,
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2s_state_t_buf : 
  (Unsigned.uint8 Ctypes_static.ptr,
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2s_state_t_total_len : 
  (Unsigned.uint64, [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure)
    Ctypes.field

val hacl_Hash_Blake2s_malloc_with_params_and_key : 
  ([ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_malloc_with_key : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint8 ->
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_malloc : 
  (unit ->
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_reset_with_key_and_params : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_reset_with_key : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_reset : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_update : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    Unsigned.uint8 Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_digest : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_free : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_copy : 
  ([ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr ->
    [ `hacl_Hash_Blake2s_state_t ] Ctypes.structure Ctypes_static.ptr
      Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_hash_with_key : 
  (bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result

val hacl_Hash_Blake2s_hash_with_key_and_paramas : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint32 ->
    [ `hacl_Hash_Blake2b_blake2_params ] Ctypes.structure ->
    bytes Ctypes_static.ocaml ->
    unit Hacl_Hash_Blake2s_stubs.return)
    Hacl_Hash_Blake2s_stubs.result