TorchLean API

Docs Home Guide Examples Graphs

Lean.Elab.Deriving.DecEq

Imports

Lean.Data.Options
Lean.Meta.Inductive
Lean.Meta.NatTable
Lean.Meta.SameCtorUtils
Init.Data.Array.OfFn
Lean.Elab.Deriving.Basic
Lean.Elab.Deriving.Util
Lean.Meta.Constructions.CasesOnSameCtor
Lean.Meta.Constructions.CtorIdx

Imported by