let pp_presigma fmt = function | [] -> Format.pp_print_string fmt "{}" | (x,y)::s -> Format.fprintf fmt "@[{%s=%s" x y ; List.iter (fun (x,y) -> Format.fprintf fmt ",%s=%s" x y) s ; Format.fprintf fmt "}@]"