definition module ABC.Def

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

:: Args    :== [NodeId]