kdrag.theories.seq.Tail

kdrag.theories.seq.Tail(s: SeqSortRef)

>>> x = smt.Const("x", Seq(smt.BoolSort()))
>>> Tail(x)
seq.extract(x, 1, Length(x) - 1)

Parameters:

s (SeqSortRef)