Word.ws English Dictionary

scrutinee

scrutinee noun: the expression that is matched against a pattern matching construct.

Noun

scrutinee (plural scrutinees)

  1. (functional programming) The 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)

Forms of scrutinee

pluralscrutinees

Questions about scrutinee

What does scrutinee mean?
Scrutinee means the expression that is matched against a pattern matching construct.
What part of speech is scrutinee?
Scrutinee is a noun.
What is the plural of scrutinee?
The plural of scrutinee is scrutinees.

Words near scrutinee in the dictionary

  1. scrutes
  2. scrutinate
  3. scrutinated
  4. scrutinates
  5. scrutinating
  6. scrutinee
  7. scrutineer
  8. scrutineered
  9. scrutineering
  10. scrutineers
  11. scrutinees

Source and license

Adapted from Wiktionary: scrutinee (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “scrutinee.” Word.ws, https://word.ws/scrutinee. Based on Wiktionary, CC BY-SA 4.0.