let rec fpp_fields pp_tau tau_of_ctype_logic fmt = function
| [] -> ()
| [f] -> Format.fprintf fmt "%s@,:@,%a@\n" (field f) pp_tau
(tau_of_ctype_logic f.Cil_types.ftype)
| f::m ->
Format.fprintf fmt "%s@,:@,%a;@\n" (field f) pp_tau
(tau_of_ctype_logic f.Cil_types.ftype);
fpp_fields pp_tau tau_of_ctype_logic fmt m