DEFINITION MODULE MathLib0 ; CONST pi = 3.1415926535897932384626433832795028841972; exp1 = 2.7182818284590452353602874713526624977572; PROCEDURE __BUILTIN__ sqrt (x: REAL) : REAL ; PROCEDURE exp (x: REAL) : REAL ; PROCEDURE ln (x: REAL) : REAL ; PROCEDURE __BUILTIN__ sin (x: REAL) : REAL ; PROCEDURE __BUILTIN__ cos (x: REAL) : REAL ; PROCEDURE tan (x: REAL) : REAL ; PROCEDURE arctan (x: REAL) : REAL ; PROCEDURE entier (x: REAL) : INTEGER ; END MathLib0.