scrutinee

名词 n.

英文释义

名词 n.
  1. 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.

词形变化

scrutinees plural
0 次浏览 数据来源: Wiktionary