# Documentation

Lean.Compiler.LCNF.Simp.InlineCandidate

• isLocal : Bool
• params :
• Value (lambda expression) of the function to be inlined.

• fType : Lean.Expr
• args :
• ifReduce = true if the declaration being inlined was tagged with inline_if_reduce.

ifReduce : Bool
• recursive = true if the declaration being inline is in a mutually recursive block.

recursive : Bool

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.

Equations
• One or more equations did not get rendered due to their size.

Return some info if e should be inlined.

Equations
• One or more equations did not get rendered due to their size.