let mk_global_logic name (*generics_l*) types_l type_ret (*reads*) =
let log_info = Cil_const.make_logic_info name in
log_info.l_type <- type_ret; (* return type. *)
log_info.l_profile <- types_l;(* type of the arguments. *)
(*
l_labels = []; (* label arguments of the function. *)
l_body = LBreads([]); (* body of the function. *)
l_tparams = []
*)
Data_for_aorai.add_logic name log_info;
Dfun_or_pred(log_info, Location.unknown)