∀ (hyps : Array Lean.Server.Test.Runner.Client.Hyp)
  (type : Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo) (ctx : Lean.Lsp.RpcRef),
  sizeOf { hyps := hyps, type := type, ctx := ctx } = 1 + sizeOf hyps + sizeOf type + sizeOf ctx