1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet Moscova, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(* $Id: hot.mli,v 1.3 2001-05-25 12:37:23 maranget Exp $ *)
(***********************************************************************)
type saved
val checkpoint : unit -> saved
val start : saved -> unit
|
