∀ (onAnyCmd : Array Lean.CodeAction.CommandCodeAction) (onCmd : Lean.NameMap (Array Lean.CodeAction.CommandCodeAction)),
  sizeOf { onAnyCmd := onAnyCmd, onCmd := onCmd } = 1 + sizeOf onAnyCmd + sizeOf onCmd