- isLocal : Bool
- params : Array Lean.Compiler.LCNF.Param
- value : Lean.Compiler.LCNF.CodeValue (lambda expression) of the function to be inlined. 
- fType : Lean.Expr
- args : Array Lean.Compiler.LCNF.Arg
- ifReduce : BoolifReduce = trueif the declaration being inlined was tagged withinline_if_reduce.
- recursive : Boolrecursive = trueif the declaration being inline is in a mutually recursive block.
Result of inlineCandidate?.
It contains information for inlining local and global functions.
Instances For
The arity (aka number of parameters) of the function to be inlined.
Instances For
Return some info if e should be inlined.