-let err = F.err_formatter
-
-let pp_items frm st l items =
- let pp_item frm = function
- | Term (c, t) -> F.fprintf frm "@,%a" (st.pp_term c) t
- | LEnv c -> F.fprintf frm "%a" st.pp_lenv c
- | Warn s -> F.fprintf frm "@,%s" s
- | String s -> F.fprintf frm "%s " s
- | Loc -> F.fprintf frm " <%s>" !loc
+let pp_items och a st l items =
+ let indent = KT.make (l+l) ' ' in
+ let pp_item och = function
+ | 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)