i1 : insert(4,t,0..10) o1 = (0, 1, 2, 3, t, 4, 5, 6, 7, 8, 9, 10) o1 : Sequence |
i2 : insert(0,t,0..10) o2 = (t, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10) o2 : Sequence |
i3 : insert(11,t,0..10) o3 = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, t) o3 : Sequence |
i4 : insert(-1,t,0..10) o4 = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, t) o4 : Sequence |