package why3
val comment : Lexing.lexbuf -> unit
val string : Lexing.lexbuf -> string
val update_loc : Lexing.lexbuf -> string option -> int -> int -> unit
val backjump : Lexing.lexbuf -> int -> unit
val illegal_character : char -> Lexing.lexbuf -> 'a
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>