Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module CI = Cstubs_internals
val _4_Hacl_Hash_Core_MD5_legacy_init : ('a, 'b) CI.fatptr -> unit
val _6_Hacl_Hash_Core_MD5_legacy_pad :
Unsigned.uint64 ->
bytes CI.ocaml ->
unit
val _11_Hacl_Hash_Core_SHA1_legacy_init : ('a, 'b) CI.fatptr -> unit
val _13_Hacl_Hash_Core_SHA1_legacy_pad :
Unsigned.uint64 ->
bytes CI.ocaml ->
unit
val _25_Hacl_Hash_Core_SHA2_init_224 : ('a, 'b) CI.fatptr -> unit
val _26_Hacl_Hash_Core_SHA2_init_256 : ('a, 'b) CI.fatptr -> unit
val _27_Hacl_Hash_Core_SHA2_init_384 : ('a, 'b) CI.fatptr -> unit
val _28_Hacl_Hash_Core_SHA2_init_512 : ('a, 'b) CI.fatptr -> unit
val _33_Hacl_Hash_Core_SHA2_pad_224 : Unsigned.uint64 -> bytes CI.ocaml -> unit
val _34_Hacl_Hash_Core_SHA2_pad_256 : Unsigned.uint64 -> bytes CI.ocaml -> unit
val foreign : string -> ('a -> 'b) fn -> 'a -> 'b
val foreign_value : string -> 'a Ctypes.typ -> 'a Ctypes.ptr