Contents

module Lrama
  class Counterexamples
    class TransitionPath < Path
      def type: () -> :transition

      def transition?: () -> true

      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/transition_path.rbs
lrama-0.6.11	sig/lrama/counterexamples/transition_path.rbs