∀ (resolutionOrder : Array Lean.Name) (conflicts : Array Lean.StructureResolutionOrderConflict),
  sizeOf { resolutionOrder := resolutionOrder, conflicts := conflicts } = 1 + sizeOf resolutionOrder + sizeOf conflicts