unfoldM package:machines

A Mealy machine modeled with explicit state.
Construct a Moore machine from a state valuation and transition function
Construct a MooreT machine from a state valuation and transition action