pg.Insertion

Accessible via pg.Insertion, pg.symbolic.Insertion.

class Insertion(value)[source]

Bases: object

Class that marks a value to insert into a list.

Example:

l = pg.List([0, 1])
l.rebind({
  0: pg.Insertion(2)
})
assert l == [2, 0, 1]