package dolmen_type
Zf Arithmetic
module Thf
(Type : Thf_intf.S)
(Ty : Dolmen.Intf.Ty.Zf_Arith with type t := Type.Ty.t)
(T : Dolmen.Intf.Term.Zf_Arith with type t := Type.T.t) :
sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>