Module Label

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