Module Library_functions


module Library_functions: sig .. end

module Retres: Cil_state_builder.Varinfo_hashtbl(Cil_datatype.Varinfo)(sig
val name : string
val size : int
val dependencies : State.t list
val kind : [> `Internal ]
end)
val get : Retres.key -> Retres.data
val add_retres_to_state : Retres.key ->
Cvalue_type.V_Offsetmap.t ->
Relations_type.Model.t ->
Retres.data option * Relations_type.Model.t