kdrag.theories.seq.seq

kdrag.theories.seq.seq(*args)

Helper to construct sequences. >>> seq(1, 2, 3) Concat(Unit(1), Concat(Unit(2), Unit(3))) >>> seq(1) Unit(1)