Performs a logical implication on two expressions.

result = expression1 Imp expression2

Expand imageArguments

Expand imageRemarks

Expand imageRequirements

Expand imageSee Also