kdrag.theories.seq.Cons

kdrag.theories.seq.Cons(x: ExprRef, tl: SeqSortRef)
>>> smt.simplify(Cons(smt.IntVal(3), Nil(smt.IntSort())))
Unit(3)
Parameters:

  • x (ExprRef)

  • tl (SeqSortRef)