kdrag.notation.default_getitem

kdrag.notation.default_getitem(self: ExprRef, ind: int) → ExprRef

Enable indexing into the fields of a record datatype. Only works for single constructor datatypes. >>> kd.tuple_(smt.IntVal(3), smt.BoolVal(True))[0] _0(Tuple_Int_Bool(3, True))

Parameters: