]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/console.mli
Debugging information improved
[fireball-separation.git] / ocaml / console.mli
1 type fancyobj\r
2 \r
3 val fancy_of_string: string -> fancyobj\r
4 \r
5 val (^^) : fancyobj -> fancyobj -> fancyobj\r
6 val (/) : string -> string -> fancyobj\r
7 \r
8 \r
9 val print_char : char -> unit\r
10 val print_string : string -> unit\r
11 val print_string_endline : string -> unit\r
12 (* val print_bytes : bytes -> unit *)\r
13 val print_int : int -> unit\r
14 (* val print_float : float -> unit *)\r
15 \r
16 val print : fancyobj -> unit\r
17 val print_endline : fancyobj -> unit\r
18 \r
19 val print_newline : unit -> unit\r
20 \r
21 val print_hline : unit -> unit\r
22 val print_heading : string -> unit\r
23 val print_bullet : fancyobj -> unit\r
24 val print_math : string -> unit\r