aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/include
blob: eabf79a481808b4215fd83dee042ee4a3336b441 (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

(* 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  (* evar_map *)  prevm;;
#install_printer  (* evar_defs *)  prevd;;
#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;;