Hacl_Hash_Blake2b_applied (hacl-star.Hacl_star.SharedDefs.Hacl_Hash.Hacl_Hash_Blake2b

module Hacl_Streaming_Types_applied : 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