Module Functionwise.To_Use

module To_Use: sig .. end

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