module Label:sig
..end
val move : Cil_types.kernel_function -> old:Cil_types.stmt -> Cil_types.stmt -> unit
Move all labels of the old
stmt onto the new stmt
.
val get_stmt : Cil_types.kernel_function -> Cil_types.logic_label -> Cil_types.stmt
val self : State.t
Internal state