fun trans(c: Char): nullable DFAState

nitcc_runtime :: DFAState :: trans

Property definitions

nitcc_runtime $ DFAState :: trans 
	fun trans(c: Char): nullable DFAState do return null
lib/nitcc_runtime/nitcc_runtime.nit:265,2--53
Nit tools. Version .