1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
16
| Tableau of int * valeur array;;
18
exception Erreur_ex�cution of string;;
20
val ent_val : valeur -> int;;
21
val bool_val : valeur -> bool;;
22
val tableau_val : valeur -> int * valeur array;;
23
val affiche_valeur : valeur -> unit;;
24
val lire_valeur : unit -> valeur;;