Class type Dom_svg.​animatedEnumeration

class type animatedEnumeration = [int] animated