sig
  val dkey : Value_parameters.category
  type hint_vars =
      HintAllVars
    | HintVar of Cil_types.varinfo
    | HintMem of Cil_types.exp * Cil_types.offset
  val pp_hvars : Stdlib.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