module Label:sig
..end
old
stmt onto the new stmt
.val move : Cil_types.kernel_function -> old:Cil_types.stmt -> Cil_types.stmt -> unit
old
stmt onto the new stmt
.val get_stmt : Cil_types.kernel_function -> Cil_types.logic_label -> Cil_types.stmt
val self : State.t