Sha256: b69b122cb0ccdabb3a648d154bd115bc577793ee9d5387771fd76b2663feefcc

Contents?: true

Size: 370 Bytes

Versions: 2

Compression:

Stored size: 370 Bytes

Contents

module Lrama
  class Counterexamples
    class Path
      @from_state_item: StateItem?

      @to_state_item: StateItem

      def initialize: (StateItem? from_state_item, StateItem to_state_item) -> void

      def from: () -> StateItem?

      def to: () -> StateItem

      def to_s: () -> ::String

      alias inspect to_s

      def type: -> bot
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

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