Parent Directory
|
Revision Log
|
Patch
| revision 91 by abate, Tue Jul 10 17:05:27 2007 UTC | revision 92 by abate, Tue Jul 10 17:05:32 2007 UTC | |
|---|---|---|
| # | Line 15 | Line 15 |
| 15 | val set_output: Format.formatter -> unit | val set_output: Format.formatter -> unit |
| 16 | val output: unit -> Format.formatter | val output: unit -> Format.formatter |
| 17 | ||
| 18 | val protect: Format.formatter -> Format.formatter | val protect: Format.formatter -> (Format.formatter -> unit) -> unit |
| 19 | ||
| 20 | val print_loc: Format.formatter -> loc -> unit | val print_loc: Format.formatter -> loc -> unit |
| 21 | val dump_loc: Format.formatter -> loc -> unit | val dump_loc: Format.formatter -> loc -> unit |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |