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: fe68896f2ce3641ac704e2c209f42f9460b6f4aa (plain) (blame)

definition module ABC.Def

:: NodeId  :== Int
:: NrArgs  :== Int
:: ArgNr   :== Int
:: DescId  :== Int
:: InstrId :== Int

:: Args    :== [NodeId]