------------------------------- MODULE Remove -------------------------------

EXTENDS Integers, Sequences

Remove(i, seq) == 
  [j \in 1..(Len(seq)-1) |-> IF j < i THEN seq[j] 
                                      ELSE seq[j+1]]

=============================================================================
\* Modification History
\* Last modified Mon Jan 14 16:12:46 CET 2019 by veitheller
\* Created Mon Jan 14 16:12:39 CET 2019 by veitheller