\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-module S = String
-module P = Printf
+module KT = String
+module KP = Printf
module U = NUri
let err = stderr
let pp_items och a st l items =
- let indent = S.make (l+l) ' ' in
+ let indent = KT.make (l+l) ' ' in
let pp_item och = function
- | Term (c, t) -> P.fprintf och "%s%a\n" indent (st.pp_term a c) t
- | LEnv c -> P.fprintf och "%s%a" indent (st.pp_lenv a) c
- | Warn s -> P.fprintf och "%s%s\n" indent s
- | Uri u -> P.fprintf och "%s<%s>\n" indent (U.string_of_uri u)
+ | Term (c, t) -> KP.fprintf och "%s%a\n" indent (st.pp_term a c) t
+ | LEnv c -> KP.fprintf och "%s%a\n" indent (st.pp_lenv a) c
+ | Warn s -> KP.fprintf och "%s%s\n" indent s
+ | Uri u -> KP.fprintf och "%s<%s>\n" indent (U.string_of_uri u)
in
let iter map och l = List.iter (map och) l in
- P.fprintf och "%a%!" (iter pp_item) items
+ KP.fprintf och "%a%!" (iter pp_item) items
(* Interface functions ******************************************************)