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.