package frama-clang
module Vkind :
Frama_c_kernel.Datatype.S with type t = Intermediate_format.vkind
module Access_kind :
Frama_c_kernel.Datatype.S with type t = Intermediate_format.access_kind
module Qual_type :
Frama_c_kernel.Datatype.S_with_collections
with type t = Intermediate_format.qual_type
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>