Def.dcl - abc-machine - Clean port of the original (Koopman 1990) ABC machine specification and reference implementation in Miranda

about summary refs log tree commit diff

path: root/Def.dcl

blob: 3f1e203a552d1113d1ff02962d774bbf53f523a5 (plain) (blame)

definition module ABC.Def

:: NodeId  :== Int
:: NrArgs  :== Int
:: InstrId :== Int