package hacl-star-raw
module CI = Cstubs_internals
val _1_Hacl_Hash_Core_SHA2_init_224 : ('a, 'b) CI.fatptr -> unit
val _2_Hacl_Hash_Core_SHA2_init_256 : ('a, 'b) CI.fatptr -> unit
val _3_Hacl_Hash_Core_SHA2_init_384 : ('a, 'b) CI.fatptr -> unit
val _4_Hacl_Hash_Core_SHA2_init_512 : ('a, 'b) CI.fatptr -> unit
val _7_Hacl_Hash_Core_SHA2_pad_256 : Unsigned.uint64 -> bytes CI.ocaml -> unit
val _12_Hacl_Hash_SHA2_update_multi_224 :
('a, 'b) CI.fatptr ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _13_Hacl_Hash_SHA2_update_multi_256 :
('a, 'b) CI.fatptr ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _14_Hacl_Hash_SHA2_update_multi_384 :
('a, 'b) CI.fatptr ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _15_Hacl_Hash_SHA2_update_multi_512 :
('a, 'b) CI.fatptr ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _16_Hacl_Hash_SHA2_update_last_224 :
('a, 'b) CI.fatptr ->
Unsigned.uint64 ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _17_Hacl_Hash_SHA2_update_last_256 :
('a, 'b) CI.fatptr ->
Unsigned.uint64 ->
bytes CI.ocaml ->
Unsigned.uint32 ->
unit
val _18_Hacl_Hash_SHA2_hash_224 :
bytes CI.ocaml ->
Unsigned.uint32 ->
bytes CI.ocaml ->
unit
val _19_Hacl_Hash_SHA2_hash_256 :
bytes CI.ocaml ->
Unsigned.uint32 ->
bytes CI.ocaml ->
unit
val _20_Hacl_Hash_SHA2_hash_384 :
bytes CI.ocaml ->
Unsigned.uint32 ->
bytes CI.ocaml ->
unit
val _21_Hacl_Hash_SHA2_hash_512 :
bytes CI.ocaml ->
Unsigned.uint32 ->
bytes CI.ocaml ->
unit
val foreign : string -> ('a -> 'b) fn -> 'a -> 'b
val foreign_value : string -> 'a Ctypes.typ -> 'a Ctypes.ptr
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>