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

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

Equations

• One or more equations did not get rendered due to their size.