module Label:sig
..end
val move : Visitor.generic_frama_c_visitor ->
old:Cil_types.stmt -> Cil_types.stmt -> unit
Move all labels of the old
stmt onto the new stmt
.
Both stmts must be in the new project.
val get_stmt : Visitor.generic_frama_c_visitor -> Cil_types.logic_label -> Cil_types.stmt
val new_labeled_stmt : Cil_types.stmt -> Cil_types.stmt
val self : State.t
Internal state