{α : Type} →
  Lean.Compiler.LCNF.Closure.ClosureM α →
    (Lean.FVarId → Bool) →
      (optParam (Lean.FVarId → Bool) fun x => true) →
        Lean.Compiler.LCNF.CompilerM
          (α ×
            Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) ×
              Array (Lean.Compiler.LCNF.CodeDecl Lean.Compiler.LCNF.Purity.pure))