Documentation

Lean.Meta.Match.MatchPatternAttr

source
constant Lean.matchPatternAttr :
Lean.TagAttribute
source
def Lean.hasMatchPatternAttribute (env : Lean.Environment) (n : Lean.Name) :
Bool
Equations