Documentation

Lean.Compiler.LCNF.Simp.InlineCandidate

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
    • { isLocal := isLocal, params := params, value := value, fType := fType, args := args, ifReduce := ifReduce, recursive := recursive }.arity = params.size
    Instances For

      Return some info if e should be inlined.

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