Parent Directory
| 
Revision Log
[r2002-11-10 16:13:31 by cvscast] Empty log message Original author: cvscast Date: 2002-11-10 16:13:32+00:00
| 1 | val typing_env: Typer.env ref (* Types of toplevel bindings *) |
| 2 | val eval_env: Eval.env ref (* Values of toplevel bindings *) |
| 3 | val glb_env: Typer.glb ref (* Global types *) |
| 4 | |
| 5 | val print_exn: Format.formatter -> exn -> unit |
| 6 | |
| 7 | val run : Format.formatter -> char Stream.t -> bool |
| 8 | (* Returns true if everything is ok (no error) *) |
| 9 | |
| 10 | val dump_env : Format.formatter -> unit |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |