package hacl-star-raw
module CI = Cstubs_internals
val _1_Hacl_Streaming_SHA1_legacy_create_in_sha1 : unit -> CI.voidp
val _2_Hacl_Streaming_SHA1_legacy_init_sha1 : ('a, 'b) CI.fatptr -> unit
val _3_Hacl_Streaming_SHA1_legacy_update_sha1 :
('a, 'b) CI.fatptr ->
bytes CI.ocaml ->
Unsigned.uint32 ->
Unsigned.uint32
val _5_Hacl_Streaming_SHA1_legacy_free_sha1 : ('a, 'b) CI.fatptr -> 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)"
>