module Cil_manipulation: sig
.. end
Substitute all its internal varinfo from removel by the associated exp from addl.
Parse a cil expression of type exp_node that have to be a Lval.
val lval_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated exp from addl.
Parse a cil expression of type exp_node that have to be a Lval.
val exp_substitution : Cil_types.exp -> String.t list -> Cil_types.exp_node list -> Cil_types.exp
Substitute all its internal varinfo from removel by the associated varinfo from addl.
Parse a cil expression of type exp.
val exp_node_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated expression from addl.
Parse a cil expression of type exp_node.