∀ (numParams numDiscrs : ℕ) (altInfos : Array Lean.Meta.Match.AltParamInfo) (uElimPos? : Option ℕ)
  (discrInfos : Array Lean.Meta.Match.DiscrInfo) (overlaps : Lean.Meta.Match.Overlaps),
  sizeOf
      { numParams := numParams, numDiscrs := numDiscrs, altInfos := altInfos, uElimPos? := uElimPos?,
        discrInfos := discrInfos, overlaps := overlaps } =
    1 + sizeOf numParams + sizeOf numDiscrs + sizeOf altInfos + sizeOf uElimPos? + sizeOf discrInfos + sizeOf overlaps