Word.ws English Dictionary

scrutinees

scrutinees is the plural of scrutinee.

Meaning of scrutinee

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)

Questions about scrutinees

What is scrutinees the plural of?
Scrutinees is the plural of scrutinee.

Words near scrutinees in the dictionary

  1. scrutinee
  2. scrutineer
  3. scrutineered
  4. scrutineering
  5. scrutineers
  6. scrutinees
  7. scruting
  8. scrutinied
  9. scrutinies
  10. scrutinisable
  11. scrutinisation

Source and license

Adapted from Wiktionary: scrutinees (page history and authors); 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: “scrutinees.” Word.ws, https://word.ws/scrutinees. Based on Wiktionary, CC BY-SA 4.0.