← Back to branch summary

~ubuntu-branches/ubuntu/karmic/ocaml-doc/karmic

« back to all changes in this revision

Viewing changes to examples/minicaml/eval.mli

  • Committer: Bazaar Package Importer
  • Author(s): Vanicat Rémi
  • Date: 2002-02-05 10:51:43 UTC
  • Revision ID: james.westby@ubuntu.com-20020205105143-a061tunf8tev07ne
Tags: 3.04-4
* New debian maintainer
* Split doc-base file
* Move to non-free
* Change the copyright file to the copyright of the documentation
* remove FAQs (their license prohibit their redistribution)
* corrected the examples

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/minicaml/eval.mli
 
1
open Syntaxe;;
 
2
 
 
3
type valeur =
 
4
   | Val_nombre of int
 
5
   | Val_bool�enne of bool
 
6
   | Val_paire of valeur * valeur
 
7
   | Val_nil
 
8
   | Val_cons of valeur * valeur
 
9
   | Val_fermeture of fermeture
 
10
   | Val_primitive of (valeur -> valeur)
 
11
 
 
12
and fermeture =
 
13
  { d�finition : (motif * expression) list;
 
14
    mutable environnement : environnement }
 
15
 
 
16
and environnement = (string * valeur) list;;
 
17
 
 
18
val �value: environnement -> expression -> valeur;;
 
19
val �value_d�finition: environnement -> d�finition -> environnement;;
 
20
val imprime_valeur: valeur -> unit;;
 
21
 
 
22
exception Erreur of string;;