diff options
Diffstat (limited to 'parsing/pretty.mli')
| -rw-r--r-- | parsing/pretty.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/parsing/pretty.mli b/parsing/pretty.mli index 0691f0a01..93c270716 100644 --- a/parsing/pretty.mli +++ b/parsing/pretty.mli @@ -44,6 +44,14 @@ val print_extraction : unit -> std_ppcmds val print_extracted_vars : unit -> std_ppcmds i*) +(* Pretty-printing functions for classes and coercions *) +val print_graph : unit -> std_ppcmds +val print_classes : unit -> std_ppcmds +val print_coercions : unit -> std_ppcmds +val print_path_between : identifier -> identifier -> std_ppcmds + + val crible : (string -> unit assumptions -> constr -> unit) -> identifier -> unit val inspect : int -> std_ppcmds + |