Module state
mlsub::auto
A non-empty set of states, optimized for the common case where only one state is in the set.