default

State label for the default state.

Because the default state is handled differently internally, this is not actually an instance of StateLabel. All DSL functions that accept a state label can accept either a real StateLabel or the default value.