Module 1-Component.Action

Components can change their own Model.t by issuing "actions" that perform the state transition. If you think of the state machine as having state-nodes of type Model.t, then the arrows between those nodes would be of type Action.t.