
DEFINITION MODULE MathLib0;  (*Mathematical library 0 *)

EXPORT QUALIFIED
  sqrt, sin, cos, arctan, exp, ln, real, entier;

PROCEDURE sqrt   (x: REAL) : REAL;
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 entier (x: REAL) : INTEGER;
PROCEDURE real   (x: INTEGER) : REAL;

END MathLib0.





