in
if l = [] then () else F.fprintf frm "%s%a%s" opend aux l closed
+let pp_rev_list pp opend sep closed frm l =
+ pp_list pp opend sep closed frm (List.rev l)
+
let rec pp_args frm args = pp_list pp_term "(" "," ")" frm args
and pp_term frm = function
let pp_par frm (id, w) =
F.fprintf frm "%s:%a" id pp_term w
-let pp_pars = pp_list pp_par "[" "," "]"
+let pp_pars = pp_rev_list pp_par "[" "," "]"
let pp_body frm = function
| None -> ()