Documentation
Lean
.
Elab
.
Deriving
Search
Google site search
return to top
source
Imports
Init
Lean.Elab.Deriving.BEq
Lean.Elab.Deriving.Basic
Lean.Elab.Deriving.DecEq
Lean.Elab.Deriving.FromToJson
Lean.Elab.Deriving.Hashable
Lean.Elab.Deriving.Inhabited
Lean.Elab.Deriving.Nonempty
Lean.Elab.Deriving.Ord
Lean.Elab.Deriving.Repr
Lean.Elab.Deriving.SizeOf
Lean.Elab.Deriving.TypeName
Lean.Elab.Deriving.Util
Imported by