lifemisc.dcl

DEFINITION MODULE lifemisc;
IMPORT deltaC, deltaI, deltaB, deltaM, deltaS;

By including the IMPORT declarations in the definition module, the library modules deltaC, deltaI, deltaB, deltaM and deltaS are automatically imported whenever lifemisc is imported.

MACRO
Huge -> NOT% (SHIFTL% 1 31);

RULE
:: Min !INT !INT -> INT;
:: Max !INT !INT -> INT;
:: Map (=> x y) ![x] -> [y]; 
:: Len ![x] -> INT;
:: Concat ![STRING] -> STRING;
:: Drop !INT ![x] -> [x];
:: Take !INT [x] -> [x];

UpBack to tutorial