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:260,2--53
Nit standard library. Version v0.8-3595-g3f58b4f.