automata v0.1.0 SeqComposite1.State