DEFINITION MODULE afai; EXPORT QUALIFIED sqrt, log, recip; PROCEDURE sqrt(x:REAL):REAL; PROCEDURE log(x:REAL):REAL; PROCEDURE recip(x:REAL):REAL; END afai.