Re: gestion du temps en Caml ?

From: Pierre Weis (Pierre.Weis@inria.fr)
Date: Thu Feb 19 1998 - 17:34:54 MET


From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <199802191634.RAA26446@pauillac.inria.fr>
Subject: Re: gestion du temps en Caml ?
In-Reply-To: <01bd3e84$1d6056a0$be7b33c2@berruyer.aurecvideo.fr> from Berruyer at "Feb 21, 98 08:49:06 am"
To: berruyer@meteor.aurecvideo.fr (Berruyer)
Date: Thu, 19 Feb 1998 17:34:54 +0100 (MET)

En Caml Light 0.74: la fonction sys__time : unit -> float donne le
temps e'coule' depuis le lancement du programme (ou du syste`me
interactif).
Sous Unix, vous pouvez aussi utiliser l'interface avec le syste`me
(module unix, fonction unix__time pour Caml Light et Unix.time pour
Objective Caml).

If you use Caml Light 0.74: the sys__time : unit -> float function
returns the elapsed time since the beginning of the execution.
Alternatively, under Unix, you may use the Unix module that provides
an interface to the operating system (unix__time for Caml Light, or
Unix.time for Objective Caml).

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET