scrutinee

S1C3R1U1T1I1N1E1E1

noun

The expression that is matched against a pattern matching construct.

Scrabble 11
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounscrutinee (plural scrutinees)

plural scrutinees

  1. functional programmingThe expression that is matched against a pattern matching construct.

    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.

    2024, Benjamin C. Pierce et al., Logical Foundations (Software Foundations)
Cite this entry
APA

scrutinee. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/scrutinee

MLA

“scrutinee.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/scrutinee. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “scrutinee,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/scrutinee.

Source: scrutinee on Wiktionary, CC BY-SA 4.0.