typestate-automata (cargo): An automata library for the typestate crate
Keywords: typestate|automata|dsl|macro|rust|state-machine