DEFINITION MODULE MathLib0;

(* (C) Copyright 1987 Fitted Software Tools. All rights reserved. *)

(*
    MathLib0 module as defined in the book "Programming in Modula-2"
    by Niklaus Wirth.
*)

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

PROCEDURE entier( x :REAL ) :INTEGER;


END MathLib0.