Array (Lean.PersistentEnvExtension Lean.EnvExtensionEntry Lean.EnvExtensionEntry Lean.EnvExtensionState) →
  ℕ → Array Lean.EnvExtensionEntry → Array Lean.EnvExtensionState → ℕ → Array Lean.EnvExtensionState