Equations
- Lean.Meta.getFunInfo fn = Lean.Meta.getFunInfoAux fn none
Instances For
Equations
- Lean.Meta.getFunInfoNArgs fn nargs = Lean.Meta.getFunInfoAux fn (some nargs)
Instances For
Equations
- Lean.Meta.FunInfo.getArity info = Array.size info.paramInfo