sig
val get_value_state : Cil_types.stmt -> Db.Value.state
val memo : Functionwise.Tbl.key -> Functionwise.Tbl.data
val get_from_call : Functionwise.Tbl.key -> 'a -> Functionwise.Tbl.data
val keep_base : Cil_types.kernel_function -> Base.t -> bool
val cleanup :
Cil_types.kernel_function -> Function_Froms.froms -> Function_Froms.froms
val cleanup_and_save :
Functionwise.Tbl.key -> Functionwise.Tbl.data -> Functionwise.Tbl.data
end