Contents

module Lrama
  class Counterexamples
    class StateItem
     attr_accessor state: State
     attr_accessor item: States::Item

      def initialize: (State state, States::Item item) -> void
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
lrama-0.7.0	sig/lrama/counterexamples/state_item.rbs
lrama-0.6.11	sig/lrama/counterexamples/state_item.rbs