kdrag.tuple_

kdrag.tuple_(*args: ExprRef) → DatatypeRef

Helper to create Tuple values >>> t = tuple_(42, True) >>> t Tuple_Int_Bool(42, True) >>> t.sort() Tuple_Int_Bool