sig
val dkey : Log.category
val all_vars_str : string
type hint_lval = {
vars : Cil_types.lval option;
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
end