HelVM.HelMA.Automaton.API.AutomatonOptions
optLevelAutoOptions :: AutomatonOptions -> OptimizationLevel #
withDefaultRam :: StackType -> AutoOptions -> AutomatonOptions #
data AutomatonOptions #
Constructors
Fields