Parent Directory
| 
Revision Log
[r2003-05-20 13:27:25 by cvscast] Unicode support Original author: cvscast Date: 2003-05-20 13:27:27+00:00
| 1 | val version: string |
| 2 | |
| 3 | val quiet: bool ref |
| 4 | |
| 5 | val print_exn: Format.formatter -> exn -> unit |
| 6 | |
| 7 | val enter_global_value : Ident.id -> Value.t -> Types.descr -> unit |
| 8 | val run : Format.formatter -> Format.formatter -> char Stream.t -> bool |
| 9 | (* Returns true if everything is ok (no error) *) |
| 10 | |
| 11 | val dump_env : Format.formatter -> unit |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |