Comment Comment by code_martial Not answering your question directly, but FWIW, that’s the default IR notation Claude reaches for. parent code_martial 23 hours ago