HelVM.HelMA.Automata.ETA.Symbol
type Symbol = Integer #
type SymbolList = [Symbol] #
type InstructionAddress = Int #
type InstructionCounter = InstructionAddress #