1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* only by permission. *)
(* *)
(***********************************************************************)
open Syntaxe;;
type 'a env;;
val environnement_initial :
(string * dcl_proc) list -> (string * dcl_fonc) list -> 'a env;;
val ajoute_variable : string -> 'a -> 'a env -> 'a env;;
val cherche_variable : string -> 'a env -> 'a;;
val cherche_fonction : string -> 'a env -> dcl_fonc;;
val cherche_procdure : string -> 'a env -> dcl_proc;;
exception Pas_trouv of string;;
|
