Documentation

Lean.Meta.Match.MatchPatternAttr

@[export lean_has_match_pattern_attribute]
Equations
Instances For