Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure →
  List ℕ →
    OptionT
      (StateRefT' IO.RealWorld (Array (Lean.Compiler.LCNF.CodeDecl Lean.Compiler.LCNF.Purity.pure))
        Lean.Compiler.LCNF.Simp.SimpM)
      Lean.FVarId