Bool →
  Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) →
    Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure →
      Lean.Expr →
        Array (Lean.Compiler.LCNF.Arg Lean.Compiler.LCNF.Purity.pure) →
          Bool → Bool → Lean.Compiler.LCNF.Simp.InlineCandidateInfo