M2compiler-V3/stdlib/math.def

DEFINITION MODULE Math;
(* Real math, bound to libm. *)

CONST Pi = 3.14159265358979;
CONST E = 2.71828182845905;

PROCEDURE sqrt(x : REAL) : REAL;
PROCEDURE exp(x : REAL) : REAL;
PROCEDURE ln(x : REAL) : REAL;
PROCEDURE sin(x : REAL) : REAL;
PROCEDURE cos(x : REAL) : REAL;
PROCEDURE arctan(x : REAL) : REAL;
PROCEDURE abs(x : REAL) : REAL;

END Math.