∀ (userName : Lean.Name) (stx : Lean.Syntax) (opts : Lean.Options) (aliases : Array Lean.FVarId),
  sizeOf { userName := userName, stx := stx, opts := opts, aliases := aliases } =
    1 + sizeOf userName + sizeOf stx + sizeOf opts + sizeOf aliases