api.dart.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.
The numeric ID of the option to set or get.
final int option;