What is the main function of idhā in «kharajtu fa-idhā Zayd»?

Conditions of the Predicate: Ellipsis, Reconstruction and Expression

• Sudden encounter
• A future conditional construction
• A causal explanation of the previous verb
• An invariably omitted past verb following idhā