Documentation

Lean.Elab.PreDefinition.Main

structure Lean.Elab.TerminationHints :
Type
Equations
Equations