Parent Directory
| 
Revision Log
[r2002-10-26 17:05:30 by cvscast] Evaluateur tourne ! Original author: cvscast Date: 2002-10-26 17:05:31+00:00
| 1 | type t |
| 2 | type env |
| 3 | val empty_env : env |
| 4 | |
| 5 | val print: Format.formatter -> t -> unit |
| 6 | |
| 7 | val run_dispatcher: Patterns.Compile.dispatcher -> t -> int * t array |
| 8 | |
| 9 | val eval: env -> Typed.texpr -> t |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |