Gecko [ tsuru-no-tsurugi.tokyo ]

Linux tsuru-no-tsurugi 5.15.0-186-generic #196-Ubuntu SMP Sat Jun 20 16:09:34 UTC 2026 x86_64
Apache/2.4.52 (Ubuntu)
Server IP : 192.168.0.18 & Your IP : 216.73.216.68
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
array.rbs	72.62 KB	-rw-r--r--	2021-07-07 19:08
basic_object.rbs	9.56 KB	-rw-r--r--	2021-07-07 19:08
binding.rbs	5.31 KB	-rw-r--r--	2021-07-07 19:08
builtin.rbs	1.36 KB	-rw-r--r--	2021-07-07 19:08
class.rbs	4.43 KB	-rw-r--r--	2021-07-07 19:08
comparable.rbs	4.07 KB	-rw-r--r--	2021-07-07 19:08
complex.rbs	10.87 KB	-rw-r--r--	2021-07-07 19:08
constants.rbs	434 B	-rw-r--r--	2021-07-07 19:08
deprecated.rbs	54 B	-rw-r--r--	2021-07-07 19:08
dir.rbs	13.67 KB	-rw-r--r--	2021-07-07 19:08
encoding.rbs	11.92 KB	-rw-r--r--	2021-07-07 19:08
enumerable.rbs	16.38 KB	-rw-r--r--	2021-07-07 19:08
enumerator.rbs	6.69 KB	-rw-r--r--	2021-07-07 19:08
errno.rbs	12.63 KB	-rw-r--r--	2021-07-07 19:08
errors.rbs	14.09 KB	-rw-r--r--	2021-07-07 19:08
exception.rbs	6.35 KB	-rw-r--r--	2021-07-07 19:08
false_class.rbs	1.13 KB	-rw-r--r--	2021-07-07 19:08
fiber.rbs	1.96 KB	-rw-r--r--	2021-07-07 19:08
fiber_error.rbs	396 B	-rw-r--r--	2021-07-07 19:08
file.rbs	39.24 KB	-rw-r--r--	2021-07-07 19:08
file_test.rbs	1.73 KB	-rw-r--r--	2021-07-07 19:08
float.rbs	20.24 KB	-rw-r--r--	2021-07-07 19:08
gc.rbs	7.43 KB	-rw-r--r--	2021-07-07 19:08
hash.rbs	34.02 KB	-rw-r--r--	2021-07-07 19:08
integer.rbs	20.19 KB	-rw-r--r--	2021-07-07 19:08
io.rbs	28.26 KB	-rw-r--r--	2021-07-07 19:08
kernel.rbs	16.7 KB	-rw-r--r--	2021-07-07 19:08
marshal.rbs	5.6 KB	-rw-r--r--	2021-07-07 19:08
match_data.rbs	8.84 KB	-rw-r--r--	2021-07-07 19:08
math.rbs	9.84 KB	-rw-r--r--	2021-07-07 19:08
method.rbs	5.13 KB	-rw-r--r--	2021-07-07 19:08
module.rbs	37.41 KB	-rw-r--r--	2021-07-07 19:08
nil_class.rbs	1.73 KB	-rw-r--r--	2021-07-07 19:08
numeric.rbs	11.72 KB	-rw-r--r--	2021-07-07 19:08
object.rbs	26.36 KB	-rw-r--r--	2021-07-07 19:08
object_space.rbs	3.41 KB	-rw-r--r--	2021-07-07 19:08
proc.rbs	12.6 KB	-rw-r--r--	2021-07-07 19:08
process.rbs	40.72 KB	-rw-r--r--	2021-07-07 19:08
random.rbs	9.67 KB	-rw-r--r--	2021-07-07 19:08
range.rbs	6.58 KB	-rw-r--r--	2021-07-07 19:08
rational.rbs	12.72 KB	-rw-r--r--	2021-07-07 19:08
rb_config.rbs	1.66 KB	-rw-r--r--	2021-07-07 19:08
regexp.rbs	40.9 KB	-rw-r--r--	2021-07-07 19:08
ruby_vm.rbs	384 B	-rw-r--r--	2021-07-07 19:08
signal.rbs	1.81 KB	-rw-r--r--	2021-07-07 19:08
string.rbs	77.2 KB	-rw-r--r--	2021-07-07 19:08
string_io.rbs	8.02 KB	-rw-r--r--	2021-07-07 19:08
struct.rbs	1.23 KB	-rw-r--r--	2021-07-07 19:08
symbol.rbs	6.96 KB	-rw-r--r--	2021-07-07 19:08
thread.rbs	34.03 KB	-rw-r--r--	2021-07-07 19:08
thread_group.rbs	730 B	-rw-r--r--	2021-07-07 19:08
time.rbs	40.94 KB	-rw-r--r--	2021-07-07 19:08
trace_point.rbs	7.45 KB	-rw-r--r--	2021-07-07 19:08
true_class.rbs	1.19 KB	-rw-r--r--	2021-07-07 19:08
unbound_method.rbs	5.22 KB	-rw-r--r--	2021-07-07 19:08
warning.rbs	835 B	-rw-r--r--	2021-07-07 19:08

Rename

interface _ToI
  def to_i: -> Integer
end

interface _ToInt
  def to_int: -> Integer
end

interface _ToS
  def to_s: -> String
end

interface _ToStr
  def to_str: () -> String
end

interface _ToHash[K, V]
  def to_hash: () -> Hash[K, V]
end

interface _ToProc
  def to_proc: () -> untyped
end

interface _ToPath
  def to_path: () -> String
end

interface _Each[out A]
  def each: { (A) -> void } -> void
end

interface _Reader
  def read: (?int length, ?string outbuf) -> String?
end

interface _ReaderPartial
  def readpartial: (int maxlen, ?string outbuf) -> String
end

interface _Writer
  # Writes the +data+ string. Returns the number of bytes written
  def write: (*_ToS data) -> Integer
end

interface _Rewindable
  # Positions the stream to the beginning of input, resetting `lineno` to zero.
  #
  def rewind: () -> Integer
end

interface _ToIO
  def to_io: () -> IO
end

interface _Exception
  def exception: () -> Exception
               | (String arg0) -> Exception
end

type int = Integer | _ToInt
type real = Integer | Float | Rational

type string = String | _ToStr
type encoding = Encoding | string

type io = IO | _ToIO

# `boolish` is a type for documentation.
# It means the value of this type is only for testing a condition.
# Unlike `bool` type, it doesn't require the value is one of `true` or `false`.
# Any Ruby object can have `boolish` type.
#
type boolish = top