Searched defs:pp_int (Results 1 - 1 of 1) sorted by relevance
| /hets/HolLight/OcamlTools/exportTools/ |
| H A D | export_helper.ml | 46 let pp_int fmt i = Format.fprintf fmt "%i" i var
75 | Styvar s -> pp_inner_indented "<TyVar>" "</TyVar>" pp_int fmt s
76 | Styapp (s,ts) -> pp_inner_indented "<TyApp>" "</TyApp>" (pp_tuple pp_int (pp_list (pp_inner_indented "<i>" "</i>" pp_int))) fmt (s,ts)
79 | Svar (s,h,t) -> pp_inner_indented "<Var>" "</Var>" (fun fmt (s,h,t) -> Format.fprintf fmt "%a@,%a" (pp_tuple pp_int pp_int) (s,h) pp_term_info t) fmt (s,h,t)
80 | Sconst (s,h,t) -> pp_inner_indented "<Const>" "</Const>" (fun fmt (s,h,t) -> Format.fprintf fmt "%a@,%a" (pp_tuple pp_int pp_int) (s,h) pp_term_info t) fmt (s,h,t)
81 | Scomb (t1,t2) -> pp_inner_indented "<Comb>" "</Comb>" (fun fmt (t1,t2) -> Format.fprintf fmt "%a" (pp_tuple pp_int pp_int) (t
[all...] |
Completed in 488 milliseconds