blob: eb370a5d84f1e5b7b7786b9b1d79ec6c5002ea6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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;;
|
