aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/include
blob: 364773753d169acef503f938c216024009532d07 (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
36
37
38
39
40

(* File to include to install the pretty-printers in the ocaml toplevel *)

(* For OCaml 3.10.x:
   clflags.cmi (a ocaml compilation by-product) must be in the library path.
   On Debian, install ocaml-compiler-libs, and uncomment the following:
   #directory "+compiler-libs/utils";;
   Clflags.recursive_types := true;;
*)

#cd ".";;
#use "base_include";;

#install_printer  (* pp_stdcmds *) pppp;;

#install_printer  (* pattern *) pppattern;;
#install_printer  (* rawconstr *) pprawconstr;;

#install_printer  (* constr *) ppconstr;;
#install_printer  (* constr_substituted *) ppsconstr;; 
#install_printer  (* universe *)  ppuni;;
#install_printer  (* universes *)  ppuniverses;;
#install_printer  (* type_judgement *) pptype;;
#install_printer  (* judgement *) ppj;;

#install_printer  (* goal *)  ppgoal;;
#install_printer  (* sigma goal *)  ppsigmagoal;;
#install_printer  (* proof *)  pproof;;
#install_printer  (* metaset.t *) ppmetas;;
#install_printer  (* evar_map *)  ppevm;;
#install_printer  (* evar_defs *)  ppevd;;
#install_printer  (* clenv *) ppclenv;;
#install_printer  (* env *) ppenv;;

#install_printer  (* tactic *) pptac;;
#install_printer  (* object *) ppobj;;
#install_printer  (* global_reference *) ppglobal;;
#install_printer  (* generic_argument *) pp_generic_argument;;

#install_printer  (* fconstr *) ppfconstr;;