Text.CTPL0

data BufferState

data RegisterState

data InfoState

data CTPL0State

data Exec a

data CTPL0 a

getState

modState

consumeTime

confViol

synViol

modBufferState

modProgramState

modRegisterState

walkBuffer

getInstr

endOfInstr

instrNumArg

instrDelimArg

getIP

getCP

canRelJump

canRelWalk

provided

sx

setSX

singleInstr

singleCond

procInstrs

evalCTPL0'

evalCTPL0

unetx

appendBeforeETX