let export_get_set_field tau_of_ctype_logic fmt f =
let cn = f.Cil_types.fcomp.Cil_types.cname in
let fn = 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 (export_tau tau_of_ctype_logic) fn;
Format.fprintf fmt "logic %s: %s , %a -> %s @\n" set_f cn
(export_tau tau_of_ctype_logic) fn cn