"If" is acceptable here, and I generally prefer it for conciseness in code documentation.