HelVM.HelMA.Automaton.API.AutoOptions
simpleAutoParams :: AutoOptions #
data AutoOptions #
Constructors
Fields