Module Widen_type


module Widen_type: sig .. end
Key for the first map : from Base.t to Ival.Widen_Hints.t

type t 
type widen_hint = Ival.Widen_Hints.t 

type var_key =
| Default
| All
| VarKey of Base.t
Key for the first map : from Base.t to Ival.Widen_Hints.t
type stmt_key = Cil_types.stmt option 
Key for the second map : from stmt to the first map
val empty : t
an empty set of hints
val default : t
a default set of hints
val add_num_hints : stmt_key ->
var_key -> widen_hint -> t -> t
add a set of hints for a stmt, var, Default or All (stmts, keys)
val add_var_hints : Cil_types.stmt -> BaseUtils.BaseSet.t -> t -> t
add a set of Base for a stmt
val hints_from_keys : Cil_types.stmt ->
t ->
BaseUtils.BaseSet.t * (Base.t -> Locations.Location_Bytes.widen_hint)
widen hints from a Cil_types.stmt, Base
module Datatype: Project.Datatype.S  with type t = t