sig
val dkey : Log.category
type hint_vars =
HintAllVars
| HintVar of Cil_types.varinfo
| HintMem of Cil_types.exp * Cil_types.offset
val pp_hvars : Format.formatter -> Widen_hints_ext.hint_vars -> unit
type hint_lval = {
vars : Widen_hints_ext.hint_vars;
names : string list;
loc : Cil_datatype.Location.t;
}
type t = Widen_hints_ext.hint_lval * Cil_types.term list
val get_stmt_widen_hint_terms : Cil_types.stmt -> Widen_hints_ext.t list
val is_global : Widen_hints_ext.t -> bool
val is_dynamic : Widen_hints_ext.t -> bool
end