let export_get_set_field fmt pp_tau f =
let cn = f.Cil_types.fcomp.Cil_types.cname in
let fn = Fol_decl.Tau.tau_of_ctype_logic f.Cil_types.ftype in
let get_f = get_field f in
let set_f = set_field f in
Format.fprintf fmt "logic %s: %s -> %a @\n" get_f cn pp_tau fn;
Format.fprintf fmt "logic %s: %s , %a -> %s @\n" set_f cn pp_tau fn cn