∀ (toIndGroupInfo : Lean.Elab.Structural.IndGroupInfo) (levels : List Lean.Level) (params : Array Lean.Expr),
  sizeOf { toIndGroupInfo := toIndGroupInfo, levels := levels, params := params } =
    1 + sizeOf toIndGroupInfo + sizeOf levels + sizeOf params