Module Replacements

module Replacements: sig .. end

val add : Cil_types.varinfo -> Cil_types.varinfo -> unit

add replaced original stores the association of the original and the replaced functions in a project state.

val find : Cil_types.varinfo -> Cil_types.varinfo
val mem : Cil_types.varinfo -> bool