def Lean.Meta.isMatchValue (e : Lean.Expr) : Lean.MetaM Bool

Return true is e is a term that should be processed by the match-compiler using casesValues