Class type Dom_svg.animatedEnumeration

class type animatedEnumeration = [int] animated