kdrag.TupleSort

kdrag.TupleSort(*elts: SortRef) → DatatypeSortRef

Define a Tuple type for given element types >>> T = TupleSort(smt.IntSort(), smt.BoolSort()) >>> t = T(42, True) >>> t Tuple_Int_Bool(42, True) >>> t._0 _0(Tuple_Int_Bool(42, True)) >>> t._1 _1(Tuple_Int_Bool(42, True))