1
2
3
4
5
6
7
8
9
10
11
12
# Summary is a Data class, whose members the inline parser cannot read.
module RankKing
  module Sync
    class Summary
      attr_reader added: Integer
      attr_reader restored: Integer
      attr_reader archived: Integer

      def self.new: (added: Integer, restored: Integer, archived: Integer) -> instance
    end
  end
end