package why3
val create : ?capacity:int -> dummy:'a -> 'a t
val make : ?dummy:'a -> int -> 'a -> 'a t
val init : dummy:'a -> int -> (int -> 'a) -> 'a t
val resize : 'a t -> int -> unit
val clear : 'a t -> unit
val is_empty : 'a t -> bool
val length : 'a t -> int
val get : 'a t -> int -> 'a
val set : 'a t -> int -> 'a -> unit
val fill : 'a t -> int -> int -> 'a -> unit
val fold_left : 'b t -> ('a -> 'b -> 'a) -> 'a -> 'a
val fold_right : 'b t -> ('b -> 'a -> 'a) -> 'a -> 'a
val iter : ('a -> unit) -> 'a t -> unit
val iteri : (int -> 'a -> unit) -> 'a t -> unit
val push : 'a t -> 'a -> unit
val pop : 'a t -> 'a
val pop_opt : 'a t -> 'a option
val top : 'a t -> 'a
val top_opt : 'a t -> 'a option
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>