← Feed @arialdo@mastodon.online Post #3009940 2026-05-06 22:00 UTC TIL the the expression whose value is being "scrutinized" in a pattern match (in #Rocq) is called "scrutinee". Replies (0) No replies.