package why3
val shape : 'a t -> shape * bound_shape
val name : 'a t -> Ident.ident
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)">
val shape : 'a t -> shape * bound_shape
val name : 'a t -> Ident.ident