kdrag.theories.list.Cons

kdrag.theories.list.Cons(x: ExprRef, xs: DatatypeRef) → DatatypeRef

Helper to construct Cons values >>> Cons(1, Nil(smt.IntSort())) Cons(1, Nil)

Parameters:

• x (ExprRef)

• xs (DatatypeRef)

Return type:

DatatypeRef