typestate (cargo): A proc macro DSL for typestates
Keywords: typestate|automata|dsl|macro|rust|state-machine