Searched defs:pp_str (Results 1 - 1 of 1) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Dexport_helper.ml48 let pp_str fmt s = Format.fprintf fmt "%s" (xml_escape_str s) var
66 in Format.fprintf fmt "@[<v>%a@,%a@]" pp_parse_type s0 (pp_tuple pp_str pp_parse_type) (s,s)
93 let pp_hol_strings fmt d = pp_inner_indented "<Strings>" "</Strings>" (pp_list (pp_inner_indented "<s>" "</s>" pp_str)) fmt (map_snd (sharedtbl_to_list d))
97 let pp_libs = pp_inner_indented "<Libs>" "</Libs>" (pp_list (pp_tuple pp_str (pp_list (pp_tuple pp_str pp_int))))
98 let pp_liblinks = pp_inner_indented "<LibLinks>" "</LibLinks>" (pp_list (pp_tuple pp_str pp_str))

Completed in 7 milliseconds