factory AnimatedBorderRadius.vertical({ double? top, double? bottom, }) { return AnimatedBorderRadius._( top, top, bottom, bottom, ); }