Meaning of scrutinee | Babel Free

Definitions

The expression that is matched against a pattern matching construct.

Examples

“The reason that simpl doesn't make progress here is that it notices that, after tentatively unfolding bar m, it is left with a match whose scrutinee, m, is a variable, so the match cannot be simplified further.”

CEFR level