Imported Upstream version 8.0pl1upstream/8.0pl1

1 files changed, 35 insertions, 0 deletions

diff --git a/dev/include b/dev/include
new file mode 100644
index 00000000..eb370a5d
--- /dev/null
+++ b/dev/include
@@ -0,0 +1,35 @@
+
+(* File to include to install the pretty-printers in the ocaml toplevel *)
+
+#cd ".";;
+#use "base_include";;
+
+#install_printer  (* ast *)  prast;;
+#install_printer  (* pat *)  prastpat;;
+#install_printer  (* patlist *)  prastpatl;;
+
+#install_printer  (* pattern *) pppattern;;
+#install_printer  (* rawconstr *) pprawterm;;
+
+#install_printer  (* constr *) ppterm;;
+#install_printer  (* constr_substituted *) ppsterm;; 
+#install_printer  (* universe *)  print_uni;;
+#install_printer  (* universes *)  pp_universes;;
+#install_printer  (* type_judgement*) pptype;;
+#install_printer  (* judgement*) prj;;
+
+#install_printer  (* goal *)  prgoal;;
+#install_printer  (* sigma goal *)  prsigmagoal;;
+#install_printer  (* proof *)  pproof;;
+#install_printer  (* global_constraints *)  prevd;;
+#install_printer  (* readable_constraints *)  prevc;;
+#install_printer  (* walking_constraints *)  prwc;;
+#install_printer  (* clenv *) prclenv;;
+#install_printer  (* env *) ppenv;;
+
+#install_printer  (* tactic *) pptac;;
+#install_printer  (* object *) pr_obj;;
+#install_printer  (* global_reference *) prglobal;;
+
+#install_printer  (* fconstr *) ppfconstr;;
+