interface SVGAnimatedIntegerimport { type SVGAnimatedInteger } from "https://deno.land/x/windmill@v1.380.1/node_modules/evt/lib/types/lib.dom.d.ts"; Used for attributes of basic type which can be animated. PropertiesreadonlyanimVal: numberbaseVal: number