# frozen_string_literal: true

module Lrama
  class Counterexamples
    class StateItem < Struct.new(:state, :item)
    end
  end
end