/[svn]/driver/cduce.mli
ViewVC logotype

Contents of /driver/cduce.mli

Parent Directory Parent Directory | Revision Log Revision Log


Revision 107 - (show annotations)
Tue Jul 10 17:06:47 2007 UTC (5 years, 10 months ago) by abate
File size: 373 byte(s)
[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