<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">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.
</pre></body></html>