From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA15230 for caml-redistribution; Thu, 16 Oct 1997 18:12:43 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA09801 for <caml-list@pauillac.inria.fr>; Wed, 15 Oct 1997 08:25:03 +0200 (MET DST)
Received: from horus.imag.fr (horus.imag.fr [129.88.38.2])
	by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id IAA08654
	for <caml-list@inria.fr>; Wed, 15 Oct 1997 08:25:00 +0200 (MET DST)
Received: from [129.88.38.40] (pythagore.imag.fr [129.88.38.40])
	by horus.imag.fr (8.8.5/8.8.5) with SMTP id IAA19263
	for <caml-list@inria.fr>; Wed, 15 Oct 1997 08:24:58 +0200 (MET DST)
X-Sender: levy@horus.imag.fr
Message-Id: <v01530536b06a1e1fa74b@[129.88.38.40]>
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Date: Wed, 15 Oct 1997 08:27:31 +0100
To: caml-list@inria.fr
From: Michel.Levy@imag.fr (Michel Levy)
Subject: times measure
Sender: weis


J'ai besoin d'une fonction qui mesure le temps afin d'interrompre un
programme qui dure plus de 60 secondes. Y-t-il une telle fonction dans les
bibliothèques usuelles de Ocaml (à part la bibliothèque unix)

I need a function wich measures the ellapsed time because i must interrupt
a program after 60 seconds. does such a function exist in the Ocaml
libraries
(other that the time function of the unix library) ?

Michel Levy
D106 - Laboratoire LSR
B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX - France
Tel : 0476827246
e.mail : Michel.Levy@imag.fr