Struct that defines empty type. More...
Struct that defines empty type.
None can be used as an transition action, if there is no action, as a guard or as an event.