From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA26702 for caml-redistribution; Thu, 19 Feb 1998 17:38:52 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA26451 for <caml-list@pauillac.inria.fr>; Thu, 19 Feb 1998 17:34:58 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id RAA29317;
	Thu, 19 Feb 1998 17:34:55 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA26446; Thu, 19 Feb 1998 17:34:54 +0100 (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)
Cc: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis

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/