← Back to branch summary

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

« back to all changes in this revision

Viewing changes to examples/minicaml/synthese.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/synthese.mli
 
1
open Syntaxe;;
 
2
open Types;;
 
3
 
 
4
type environnement = (string * sch�ma_de_types) list;;
 
5
 
 
6
val type_exp : environnement -> expression -> type_simple;;
 
7
val type_d�f : environnement -> d�finition -> environnement;;
 
8
 
 
9
exception Erreur of string;;