Equations
Instances For
Equations
Instances For
def
Lean.Elab.Deriving.Repr.mkBodyForInduct
(header : Header)
(indVal : InductiveVal)
(auxFunName : Name)
:
Equations
Instances For
def
Lean.Elab.Deriving.Repr.mkBodyForInduct.mkAlts
(header : Header)
(indVal : InductiveVal)
(auxFunName : Name)
: