∀ (numJoinParams altIdx : ℕ) (altParams : Array Lean.Expr) (altLCtxIdx : ℕ) (hyps : Lean.MVarId) (joinPrf : Lean.Expr),
  sizeOf
      { numJoinParams := numJoinParams, altIdx := altIdx, altParams := altParams, altLCtxIdx := altLCtxIdx,
        hyps := hyps, joinPrf := joinPrf } =
    1 + sizeOf numJoinParams + sizeOf altIdx + sizeOf altParams + sizeOf altLCtxIdx + sizeOf hyps + sizeOf joinPrf