Module Label

module Label: sig .. end
Move all labels of the old stmt onto the new stmt.

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
Returns the statement where the logic label points to.
val self : State.t
Internal state