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