[Dom_svg.lengthList Js.t] Dom_svg.animated