IO
  (Lean.PersistentEnvExtension Batteries.CodeAction.TacticCodeActionEntry
    (Batteries.CodeAction.TacticCodeActionEntry × Batteries.CodeAction.TacticCodeAction)
    (Array Batteries.CodeAction.TacticCodeActionEntry × Batteries.CodeAction.TacticCodeActions))