Typestated Traffic Light This repository is a simple example of the traffic light state machine, designed using "rusty" typestates.