home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / minicaml / synthese.mli < prev    next >
Encoding:
Text File  |  1995-06-01  |  244 b   |  10 lines  |  [TEXT/MPS ]
  1. #open "syntaxe";;
  2. #open "types";;
  3.  
  4. type environnement == (string * schéma_de_types) list;;
  5.  
  6. value type_exp: environnement -> expression -> type_simple
  7.   and type_déf: environnement -> définition -> environnement;;
  8.  
  9. exception Erreur of string;;
  10.