{P : Sort u} →
  {onAnyCmd : Array Lean.CodeAction.CommandCodeAction} →
    {onCmd : Lean.NameMap (Array Lean.CodeAction.CommandCodeAction)} →
      {onAnyCmd' : Array Lean.CodeAction.CommandCodeAction} →
        {onCmd' : Lean.NameMap (Array Lean.CodeAction.CommandCodeAction)} →
          { onAnyCmd := onAnyCmd, onCmd := onCmd } = { onAnyCmd := onAnyCmd', onCmd := onCmd' } →
            (onAnyCmd = onAnyCmd' → onCmd = onCmd' → P) → P