# File lib/choose.rb, line 247
        def initialize ( n )
          @length = n
        end

# File lib/choose.rb, line 253
        def <=> ( rhs )
          @length <=> rhs.length
        end

# File lib/choose.rb, line 256
        def inspect
          'x' * @length
        end

# File lib/choose.rb, line 250
        def succ
          Xs.new(@length.succ)
        end