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

/hets/HolLight/OcamlTools/exportTools/
H A Dexport_helper.ml46 let pp_int fmt i = Format.fprintf fmt "%i" i
48 let pp_str fmt s = Format.fprintf fmt "%s" (xml_escape_str s)
50 let pp_inner_indented s e pi fmt i = Format.fprintf fmt "@[<hv>@[<hv 1>%s@,%a@]@,@]%s" s pi i e
52 let pp_inner_tuple p1 p2 fmt (_1,_2) = Format.fprintf fmt "%a@,%a" (pp_inner_indented "<fst>" "</fst>" p1) _1 (pp_inner_indented "<snd>" "</snd>" p2) _2
53 let pp_tuple p1 p2 fmt t = pp_inner_indented "<tuple>" "</tuple>" (pp_inner_tuple p1 p2) fmt
103 let fmt = Format.formatter_of_out_channel out_ch in var
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 13 milliseconds