What is the function of lā in fa-lā yakun li-waʿdika ikhlāf?

Advanced Applied Practice — Grammar, Rhetoric, Context and Interpretation