The automata::prelude module should be looked at. There might be some traits in there, which really should not be present in a prelude. We should make sure that this enables frictionless work with the automata package but at the same time niche traits/structs should not be included there.
The
automata::preludemodule should be looked at. There might be some traits in there, which really should not be present in a prelude. We should make sure that this enables frictionless work with theautomatapackage but at the same time niche traits/structs should not be included there.