AnimatedOption

Artificial interface. Used so ZoomOptions and PanOptions both have an animate property, and other interfaces (e.g. ZoomPanOptions) can inherit from both.