
(* $N- *)
DEFINITION MODULE MathLib0;

CONST	e	= 2.7182818284;
	pi	= 3.1415926536;
 
PROCEDURE sin	(x: REAL): REAL;
PROCEDURE cos	(x: REAL): REAL;
PROCEDURE arctan(x: REAL): REAL;
PROCEDURE exp	(x: REAL): REAL;
PROCEDURE ln	(x: REAL): REAL;
PROCEDURE sqrt	(x: REAL): REAL;

END MathLib0.

