Module signature InputSig

Holds if eqtest is an equality or inequality test between left and right. The polarity indicates whether this is an equality test (true) or inequality test (false).

Holds if the parameter position ppos matches the argument position apos.

An expression that has the same value as a specific sub-expression.

A non-overridable method.

A control flow node indicating normal termination of a callable.