open Ctypes module Bindings(F:Cstubs.FOREIGN) = struct open F let hacl_Hash_Blake2b_256_hash_blake2b_256 = foreign "Hacl_Hash_Blake2b_256_hash_blake2b_256" (ocaml_bytes @-> (uint32_t @-> (ocaml_bytes @-> (returning void)))) let hacl_Blake2b_256_blake2b = foreign "Hacl_Blake2b_256_blake2b" (uint32_t @-> (ocaml_bytes @-> (uint32_t @-> (ocaml_bytes @-> (uint32_t @-> (ocaml_bytes @-> (returning void))))))) end