In is a jussive conditional. Tadrus is the condition and tanjaḥ its jussive apodosis; law does not work identically.
Opening interactive controls...
Jussive Conditional Pair
Comprehensive Review: Applied Arabic Parsing
In is a jussive conditional. Tadrus is the condition and tanjaḥ its jussive apodosis; law does not work identically.