animation property

Animation<double> animation
final

Animation is unused for web but kept for API consistency

Implementation

final Animation<double> animation;