diff options
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index 8a0aaa7c..ebb21152 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -20,6 +20,12 @@ val dependencies_to_string : reg_name list -> string val exp_to_string : Interp.lenv -> tannot exp -> string (* Functions to set the color of parts of the output *) +type ppmode = + | Interp_latex + | Interp_ascii + | Interp_html +val set_interp_ppmode : ppmode -> unit + val red : string -> string val blue : string -> string val green : string -> string |