Unit is the empty (void) datatype.
Unit
Both the datatype and the single constructor are named Unit.
A timed actor-based modeling language