Documentation

Lean.Elab.MatchAltView

structure Lean.Elab.Term.MatchAltView :

Type

ref : Lean.Syntax
patterns : Array Lean.Syntax
rhs : Lean.Syntax

instance Lean.Elab.Term.instInhabitedMatchAltView :

Inhabited Lean.Elab.Term.MatchAltView

Equations

Lean.Elab.Term.instInhabitedMatchAltView = { default := { ref := default, patterns := default, rhs := default } }