HelVM.HelMA.Automata.SubLeq.Automaton
newMemory :: Num e => ram -> Automaton e ram #
run :: RAutomatonIO e r m => Maybe Natural -> Automaton e r -> m $ Automaton e r #