module Library_functions:sig
..end
module Retres:Cil_computation.VarinfoHashtbl
(
Cil_datatype.Varinfo
)
(
sig
end
)
val get : Retres.key -> Retres.data
val add_dependency : Project.Computation.t -> unit
val add_retres_to_state : Retres.key ->
Cvalue_type.V_Offsetmap.t ->
Relations_type.Model.t ->
Retres.data option * Relations_type.Model.t