Documentation

Lean.Elab.Deriving.DecEq

Equations
Equations
Equations
Equations
Equations
Equations
partial def Lean.Elab.Deriving.DecEq.mkEnumOfNat.mkDecTree (enumType : Lean.Expr) (ctors : Array Lean.Name) (n : Lean.Expr) (cond : Lean.Expr) (low : Nat) (high : Nat) :
Equations
Equations