kdrag.Tail

kdrag.Tail(s: SeqSortRef)

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

Parameters:

s (SeqSortRef)