method pp_pred_exists fmt xs p =
Format.fprintf fmt "@[<hov 2>exists " ;
self#bind xs
(fun () ->
pp_coma ","
(fun fmt x ->
Format.fprintf fmt "%a:%a"
self#pp_var x self#pp_vartype x)
fmt xs ;
Format.fprintf fmt ".@]@ %a" self#pp_pred p)