Contents

module Lrama
  class Counterexamples
    class StartPath < Path
      def initialize: (StateItem to_state_item) -> void

      def type: () -> :start

      def transition?: () -> false

      def production?: () -> false
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

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