Use lookahead_set type alias

Author: yui-knk

lib/lrama/state/inadequacy_annotation.rb

@@ -39,7 +39,7 @@ def merge_matrix(another_matrixes)
 
       # Definition 3.42 (dominant_contribution)
       #
-      # @rbs (Hash[States::Item, Array[Grammar::Symbol]] lookaheads) -> Array[Action::Shift | Action::Reduce]?
+      # @rbs (State::lookahead_set lookaheads) -> Array[Action::Shift | Action::Reduce]?
       def dominant_contribution(lookaheads)
         actions = @actions.select {|action|
           contribution_matrix[action].nil? || contribution_matrix[action].any? {|item, contributed| contributed && lookaheads[item].include?(@token) }

lib/lrama/states.rb

@@ -722,7 +722,7 @@ def compute_inadequacy_annotations
       end
     end
 
-    # @rbs (State state, Hash[States::Item, Array[Grammar::Symbol]] filtered_lookaheads) -> void
+    # @rbs (State state, State::lookahead_set filtered_lookaheads) -> void
     def merge_lookaheads(state, filtered_lookaheads)
       return if state.kernels.all? {|item| (filtered_lookaheads[item] - state.item_lookahead_set[item]).empty? }
 

sig/generated/lrama/state/inadequacy_annotation.rbs

@@ -24,8 +24,8 @@ module Lrama
 
       # Definition 3.42 (dominant_contribution)
       #
-      # @rbs (Hash[States::Item, Array[Grammar::Symbol]] lookaheads) -> Array[Action::Shift | Action::Reduce]?
-      def dominant_contribution: (Hash[States::Item, Array[Grammar::Symbol]] lookaheads) -> Array[Action::Shift | Action::Reduce]?
+      # @rbs (State::lookahead_set lookaheads) -> Array[Action::Shift | Action::Reduce]?
+      def dominant_contribution: (State::lookahead_set lookaheads) -> Array[Action::Shift | Action::Reduce]?
 
       # @rbs (Array[Action::Shift | Action::Reduce] actions) -> Array[Action::Shift | Action::Reduce]
       def resolve_conflict: (Array[Action::Shift | Action::Reduce] actions) -> Array[Action::Shift | Action::Reduce]

sig/generated/lrama/states.rbs

@@ -193,8 +193,8 @@ module Lrama
     # @rbs () -> void
     def compute_inadequacy_annotations: () -> void
 
-    # @rbs (State state, Hash[States::Item, Array[Grammar::Symbol]] filtered_lookaheads) -> void
-    def merge_lookaheads: (State state, Hash[States::Item, Array[Grammar::Symbol]] filtered_lookaheads) -> void
+    # @rbs (State state, State::lookahead_set filtered_lookaheads) -> void
+    def merge_lookaheads: (State state, State::lookahead_set filtered_lookaheads) -> void
 
     # @rbs (State state, State::Action::Shift | State::Action::Goto transition, State next_state) -> void
     def compute_state: (State state, State::Action::Shift | State::Action::Goto transition, State next_state) -> void