rdl 1.0.0.rc1

data/types/ruby-2.2.0/float.rb

@@ -0,0 +1,54 @@
+class Float
+  nowrap
+
+  type :%, '(Numeric other) -> Numeric'
+  type :*, '(Numeric other) -> Numeric'
+  type :**, '(Numeric other) -> Numeric'
+  type :+, '(Numeric other) -> Numeric'
+  type :-, '(Numeric other) -> Numeric'
+  type :-, '() -> Float'
+  type :/, '(Numeric other) -> Float'
+  type :<, '(Numeric) -> %bool'
+  pre(:<) { |x| x.real? }
+  type :<=, '(Numeric) -> %bool'
+  pre(:<=) { |x| x.real? }
+  type :<=>, '(Numeric) -> -1 or 0 or 1 or nil'
+  pre(:<=>) { |x| x.real? }
+  type :==, '(%any) -> %bool'
+  type :>, '(Numeric) -> %bool'
+  pre(:>) { |x| x.real? }
+  type :>=, '(Numeric) -> %bool'
+  pre(:>=) { |x| x.real? }
+  type :abs, '() -> Float'
+  type :angle, '() -> 0 or ${Math::PI}'
+  type :arg, '() -> 0 or ${Math::PI}'
+  type :ceil, '() -> Integer'
+  type :coerce, '(Numeric) -> [Float, Float]'
+  type :denominator, '() -> Integer'
+  post(:denominator) { |r, _| r > 0 }
+  type :divmod, '(Numeric) -> [Numeric, Numeric]'
+  type :equl?, '(%any) -> %bool'
+  type :fdiv, '(Numeric) -> Float'
+  type :finite?, '() -> %bool'
+  type :floor, '() -> Integer'
+  type :hash, '() -> Integer'
+  type :infinite?, '() -> -1 or 1 or nil'
+  rdl_alias :inspect, :to_s
+  type :magnitude, '() -> Float'
+  rdl_alias :modulo, :%
+  type :nan?, '() -> %bool'
+  type :next_float, '() -> Float'
+  type :numerator, '() -> Integer'
+  type :phase, '() -> 0 or ${Math::PI}'
+  type :prev_float, '() -> Float'
+  rdl_alias :quo, :/
+  type :rationalize, '(Float eps) -> Rational'
+  type :round, '(?Fixnum ndigits) -> Integer or Float'
+  type :to_f, '() -> self'
+  type :to_i, '() -> Integer'
+  rdl_alias :to_int, :to_i
+  type :to_r, '() -> Rational'
+  type :to_s, '() -> String'
+  type :truncate, '() -> Integer'
+  type :zero?, '() -> %bool'
+end

data/types/ruby-2.2.0/gem.rb

@@ -0,0 +1,245 @@
+module Gem
+  type 'self.bin_path', '(String name, ?String exec_name, *Gem::Requirement requirements) -> String'
+  type 'self.binary_mode', '() -> String'
+  type 'self.bindir', '(?String install_dir) -> String'
+  type 'self.clear_default_specs', '() -> Hash'
+  type 'self.clear_paths', '() -> nil'
+  type 'self.config_file', '() -> String'
+  type 'self.configuration', '() -> Gem::ConfigFile'
+  type 'self.configuration=', '(%any) -> %any' #returns param
+  type 'self.datadir', '(String gem_name) -> String or nil'
+  type 'self.default_bindir', '() -> String or nil'
+  type 'self.default_cert_path', '() -> String or nil'
+  type 'self.default_dir', '() -> String or nil'
+  type 'self.default_exec_format', '() -> String or nil'
+  type 'self.default_key_path', '() -> String or nil'
+  type 'self.default_path', '() -> String or nil'
+  type 'self.default_rubygems_dirs', '() -> Array<String> or nil'
+  type 'self.default_sources', '() -> Array<String> or nil'
+  #type 'self.deflate', '() -> String' # Anything with to_s
+=begin
+  type 'self.detect_gemdeps', '() -> '
+  type 'self.dir', '() -> '
+  type 'self.done_installing', '() -> '
+  type 'self.ensure_gem_subdirectories', '() -> '
+  type 'self.find_files', '() -> '
+  type 'self.find_unresolved_default_spec', '() -> '
+  type 'self.finish_resolve', '() -> '
+  type 'self.gunzip', '() -> '
+  type 'self.gzip', '() -> '
+  type 'self.host', '() -> '
+  type 'self.host=', '() -> '
+  type 'self.inflate', '() -> '
+  type 'self.install', '() -> '
+  type 'self.latest_rubygems_version', '() -> '
+  type 'self.latest_spec_for', '() -> '
+  type 'self.latest_version_for', '() -> '
+  type 'self.load_env_plugins', '() -> '
+  type 'self.load_path_insert_index', '() -> '
+  type 'self.load_plugin_files', '() -> '
+  type 'self.load_plugins', '() -> '
+  type 'self.load_yaml', '() -> '
+  type 'self.location_of_caller', '() -> '
+  type 'self.marshal_version', '() -> '
+  type 'self.needs', '() -> '
+  type 'self.path', '() -> '
+  type 'self.path_separator', '() -> '
+  type 'self.paths', '() -> '
+  type 'self.paths=', '() -> '
+  type 'self.platforms', '() -> '
+  type 'self.platforms=', '() -> '
+  type 'self.post_build', '() -> '
+  type 'self.post_install', '() -> '
+  type 'self.post_reset', '() -> '
+  type 'self.post_uninstall', '() -> '
+  type 'self.pre_install', '() -> '
+  type 'self.pre_reset', '() -> '
+  type 'self.pre_uninstall', '() -> '
+  type 'self.prefix', '() -> '
+  type 'self.read_binary', '() -> '
+  type 'self.refresh', '() -> '
+  type 'self.register_default_spec', '() -> '
+  type 'self.remove_unresolved_default_spec', '() -> '
+  type 'self.ruby', '() -> '
+  type 'self.ruby=', '() -> '
+  type 'self.ruby_engine', '() -> '
+  type 'self.ruby_version', '() -> '
+  type 'self.rubygems_version', '() -> '
+  type 'self.searcher=', '() -> '
+  type 'self.sources', '() -> '
+  type 'self.sources=', '() -> '
+  type 'self.suffix_pattern', '() -> '
+  type 'self.suffixes', '() -> '
+  type 'self.time', '() -> '
+  type 'self.try_activate', '() -> '
+  type 'self.ui', '() -> '
+  type 'self.use_paths', '() -> '
+  type 'self.user_dir', '() -> '
+  type 'self.user_home', '() -> '
+  type 'self.win_platform=', '() -> '
+  type 'self.win_platform?', '() -> '
+=begin
+  class Gemspec
+    type '<=>', '() -> '
+    type '==', '() -> '
+    type '_dump', '() -> '
+    type 'activate', '() -> '
+    type 'activate_dependencies', '() -> '
+    type 'activated', '() -> '
+    type 'activated=', '() -> '
+    type 'activated?', '() -> '
+    type 'add_bindir', '() -> '
+    type 'add_dependency', '() -> '
+    type 'add_dependency_with_type', '() -> '
+    type 'add_development_dependency', '() -> '
+    type 'add_runtime_dependency', '() -> '
+    type 'add_self_to_load_path', '() -> '
+    type 'author', '() -> '
+    type 'author=', '() -> '
+    type 'authors', '() -> '
+    type 'authors=', '() -> '
+    type 'autorequire', '() -> '
+    type 'autorequire=', '() -> '
+    type 'bin_dir', '() -> '
+    type 'bin_file', '() -> '
+    type 'bindir', '() -> '
+    type 'bindir=', '() -> '
+    type 'build_args', '() -> '
+    type 'build_extensions', '() -> '
+    type 'build_info_dir', '() -> '
+    type 'build_info_file', '() -> '
+    type 'bundled_gem_in_old_ruby?', '() -> '
+    type 'cache_dir', '() -> '
+    type 'cache_file', '() -> '
+    type 'cert_chain', '() -> '
+    type 'cert_chain=', '() -> '
+    type 'check_version_conflict', '() -> '
+    type 'conflicts', '() -> '
+    type 'date', '() -> '
+    type 'date=', '() -> '
+    type 'default_executable', '() -> '
+    type 'default_executable=', '() -> '
+    type 'default_value', '() -> '
+    type 'dependencies', '() -> '
+    type 'dependent_gems', '() -> '
+    type 'dependent_specs', '() -> '
+    type 'description', '() -> '
+    type 'description=', '() -> '
+    type 'development_dependencies', '() -> '
+    type 'doc_dir', '() -> '
+    type 'email', '() -> '
+    type 'email=', '() -> '
+    type 'encode_with', '() -> '
+    type 'eql?', '() -> '
+    type 'executable', '() -> '
+    type 'executable=', '() -> '
+    type 'executables', '() -> '
+    type 'executables=', '() -> '
+    type 'extensions', '() -> '
+    type 'extensions=', '() -> '
+    type 'extra_rdoc_files', '() -> '
+    type 'extra_rdoc_files=', '() -> '
+    type 'file_name', '() -> '
+    type 'files', '() -> '
+    type 'files=', '() -> '
+    type 'find_all_satisfiers', '() -> '
+    type 'find_full_gem_path', '() -> '
+    type 'for_cache', '() -> '
+    type 'full_name', '() -> '
+    type 'gem_build_complete_path', '() -> '
+    type 'gem_dir', '() -> '
+    type 'has_rdoc', '() -> '
+    type 'has_rdoc=', '() -> '
+    type 'has_rdoc?', '() -> '
+    type 'has_test_suite?', '() -> '
+    type 'has_unit_tests?', '() -> '
+    type 'hash', '() -> '
+    type 'homepage', '() -> '
+    type 'homepage=', '() -> '
+    type 'init_with', '() -> '
+    type 'initialize', '() -> '
+    type 'initialize_copy', '() -> '
+    type 'inspect', '() -> '
+    type 'installed_by_version', '() -> '
+    type 'installed_by_version=', '() -> '
+    type 'invalidate_memoized_attributes', '() -> '
+    type 'lib_dirs_glob', '() -> '
+    type 'lib_files', '() -> '
+    type 'license', '() -> '
+    type 'license=', '() -> '
+    type 'licenses', '() -> '
+    type 'licenses=', '() -> '
+    type 'loaded_from=', '() -> '
+    type 'mark_version', '() -> '
+    type 'matches_for_glob', '() -> '
+    type 'metadata', '() -> '
+    type 'metadata=', '() -> '
+    type 'method_missing', '() -> '
+    type 'missing_extensions?', '() -> '
+    type 'name', '() -> '
+    type 'name=', '() -> '
+    type 'name_tuple', '() -> '
+    type 'normalize', '() -> '
+    type 'original_name', '() -> '
+    type 'original_platform', '() -> '
+    type 'original_platform=', '() -> '
+    type 'platform', '() -> '
+    type 'platform=', '() -> '
+    type 'post_install_message', '() -> '
+    type 'post_install_message=', '() -> '
+    type 'pretty_print', '() -> '
+    type 'raise_if_conflicts', '() -> '
+    type 'rdoc_options', '() -> '
+    type 'rdoc_options=', '() -> '
+    type 'require_path', '() -> '
+    type 'require_path=', '() -> '
+    type 'require_paths=', '() -> '
+    type 'required_ruby_version', '() -> '
+    type 'required_ruby_version=', '() -> '
+    type 'required_rubygems_version', '() -> '
+    type 'required_rubygems_version=', '() -> '
+    type 'requirements', '() -> '
+    type 'requirements=', '() -> '
+    type 'reset_nil_attributes_to_default', '() -> '
+    type 'respond_to_missing?', '() -> '
+    type 'ri_dir', '() -> '
+    type 'ruby_code', '() -> '
+    type 'rubyforge_project', '() -> '
+    type 'rubyforge_project=', '() -> '
+    type 'rubygems_version', '() -> '
+    type 'rubygems_version=', '() -> '
+    type 'runtime_dependencies', '() -> '
+    type 'same_attributes?', '() -> '
+    type 'satisfies_requirement?', '() -> '
+    type 'signing_key', '() -> '
+    type 'signing_key=', '() -> '
+    type 'sort_obj', '() -> '
+    type 'source', '() -> '
+    type 'spec_dir', '() -> '
+    type 'spec_file', '() -> '
+    type 'spec_name', '() -> '
+    type 'specification_version', '() -> '
+    type 'specification_version=', '() -> '
+    type 'stubbed?', '() -> '
+    type 'summary', '() -> '
+    type 'summary=', '() -> '
+    type 'test_file', '() -> '
+    type 'test_file=', '() -> '
+    type 'test_files', '() -> '
+    type 'test_files=', '() -> '
+    type 'to_ruby', '() -> '
+    type 'to_ruby_for_cache', '() -> '
+    type 'to_s', '() -> '
+    type 'to_spec', '() -> '
+    type 'to_yaml', '() -> '
+    type 'traverse', '() -> '
+    type 'validate', '() -> '
+    type 'validate_dependencies', '() -> '
+    type 'validate_permissions', '() -> '
+    type 'version', '() -> '
+    type 'version=', '() -> '
+    type 'warning', '() -> '
+    type 'yaml_initialize', '() -> '
+  end
+=end
+end

data/types/ruby-2.2.0/hash.rb

@@ -0,0 +1,72 @@
+class Hash
+  nowrap
+
+  type_params [:k, :v], :all?
+
+  type 'self.[]', '(Array<Array<u>>) -> Hash<u, u>'
+  
+  type :[], '(k) -> v'
+  type :[]=, '(k, v) -> v'
+  type :store, '(k,v) -> v'
+
+  # type :assoc, '(k) -> [k, v]' # TODO
+  type :assoc, '(k) -> Array<k or v>'
+  type :clear, '() -> Hash<k,v>'
+  type :compare_by_identity, '() -> Hash<k,v>'
+  type :compare_by_identity?,  '() -> %bool'
+  type :default, '(?k) -> v'
+  type :default, '(k) {(k) -> v} -> v'
+  type :default=, '(v) -> v'
+
+  # TODO: check on default_proc
+  #type :default_proc, '() -> (Hash<k,v>,k) -> v'
+  #type :default_proc=, '((Hash<k,v>,k) -> v) -> (Hash<k,v>,k) -> v'
+
+  type :delete, '(k) -> v'
+  type :delete, '(k) { (k) -> u } -> u or v'
+  type :delete_if, '() { (k,v) -> %bool } -> Hash<k,v>'
+  type :delete_if, '() -> Enumerator<[k, v]>'
+  type :each, '() { (k,v) -> %any } -> Hash<k,v>'
+  type :each, '() -> Enumerator<[k, v]>'
+  type :each_pair, '() { (k,v) -> %any } -> Hash<k,v>'
+  type :each_pair, '() -> Enumerator<[k, v]>'
+  type :each_key, '() { (k) -> %any } -> Hash<k,v>'
+  type :each_key, '() -> Enumerator<[k, v]>'
+  type :each_value, '() { (v) -> %any } -> Hash<k,v>'
+  type :each_value, '() -> Enumerator<[k, v]>'
+  type :empty?, '() -> %bool'
+  type :fetch, '(k) -> v'
+  type :fetch, '(k,u) -> u or v'
+  type :fetch, '(k) { (k) -> u } -> u or v'
+  type :member?, '(t) -> %bool'
+  type :has_key?, '(t) -> %bool'
+  type :key?, '(t) -> %bool'
+  type :has_value?, '(t) -> %bool'
+  type :value?, '(t) -> %bool'
+  type :to_s, '() -> String'
+  type :inspect, '() -> String'
+  type :invert, '() -> Hash<v,k>'
+  type :keep_if, '() { (k,v) -> %bool } -> Hash<k,v>'
+  type :keep_if, '() -> Enumerator<[k, v]>'
+  type :key, '(t) -> k'
+  type :keys, '() -> Array<k>'
+  type :length, '() -> Fixnum'
+  type :size, '() -> Fixnum'
+  type :merge, '(Hash<a,b>) -> Hash<a or k, b or v>'
+  type :merge, '(Hash<a,b>) { (k,v,b) -> v or b } -> Hash<a or k, b or v>'
+  # type :rassoc, '(k) -> Tuple<k,v>'
+  type :rassoc, '(k) -> Array<k or v>'
+  type :rehash, '() -> Hash<k,v>'
+  type :reject, '() -> Enumerator<[k, v]>'
+  type :reject, '() {(k,v) -> %bool} -> Hash<k,v>'
+  type :reject!, '() {(k,v) -> %bool} -> Hash<k,v>'
+  type :select, '() {(k,v) -> %bool} -> Hash<k,v>'
+  type :select!, '() {(k,v) -> %bool} -> Hash<k,v>'
+  # type :shift, '() -> Tuple<k,v>'
+  type :shift, '() -> Array<k or v>'
+  # type :to_a, '() -> Array<Tuple<k,v>>'
+  type :to_a, '() -> Array<Array<k or v>>'
+  type :to_hash, '() -> Hash<k,v>'
+  type :values, '() -> Array<v>'
+  type :values_at, '(*k) -> Array<v>'
+end

data/types/ruby-2.2.0/integer.rb

@@ -0,0 +1,31 @@
+class Integer
+  nowrap
+
+  rdl_alias :ceil, :to_i
+  type :chr, '(?Encoding) -> String'
+  type :denominator, '() -> 1'
+  type :downto, '(Integer limit) { (Integer) -> %any } -> self'
+  type :downto, '(Integer limit) -> Enumerator<Integer>'
+  type :even?, '() -> %bool'
+  type :gcd, '(Integer) -> Integer'
+  type :gcdlcm, '(Integer) -> [Integer, Integer]'
+  rdl_alias :floor, :to_i
+  type :integer?, '() -> TrueClass'
+  type :lcm, '(Integer) -> Integer'
+  type :next, '() -> Integer'
+  type :numerator, '() -> self'
+  type :odd?, '() -> %bool'
+  type :ord, '() -> self'
+  type :pred, '() -> Integer'
+  type :rationalize, '(?%any eps) -> Rational'
+  type :round, '(?Fixnum ndigits) -> Integer or Float'
+  rdl_alias :succ, :next
+  type :times, '() { (Integer) -> %any } -> self'
+  type :times, '() -> Enumerator<Integer>'
+  type :to_i, '() -> Integer'
+  rdl_alias :to_int, :to_i
+  type :to_r, '() -> Rational'
+  rdl_alias :truncate, :to_i
+  type :upto, '(Integer limit) { (Integer) -> %any } -> self'
+  type :upto, '(Integer limit) -> Enumerator<Integer>'
+end

data/types/ruby-2.2.0/io.rb

@@ -0,0 +1,103 @@
+class IO
+  nowrap # Do not wrap this class. Leads to mysterious errors.
+
+  type 'self.binread', '(String name, ?Fixnum length, ?Fixnum offset) -> String'
+  type 'self.binwrite', '(String name, String, ?Fixnum offset, %open_args) -> Fixnum'
+  type 'self.copy_stream', '(String or IO src, String or IO dst, ?Fixnum copy_length, ?Fixnum src_offset) -> Fixnum'
+  rdl_alias 'self.for_fd', 'self.new'
+  type 'self.foreach', '(String name, ?String sep, ?Fixnum limit, %open_args) { (String) -> %any } -> nil'
+  type 'self.foreach', '(String name, ?String sep, ?Fixnum limit, %open_args) -> Enumerator<String>'
+  type 'self.new', '(Fixnum fd, ?Fixnum mode, ?Fixnum opt) -> IO'
+  type 'self.open', '(Fixnum fd, ?String mode, %open_args) -> IO'
+  type 'self.open', '(Fixnum fd, ?String mode, %open_args) { (IO) -> t } -> t'
+  type 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) -> [IO, IO]'
+  type 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) -> [IO, IO]'
+  type 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) { ([IO, IO]) -> t } -> t'
+  type 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) { ([IO, IO]) -> t } -> t'
+  type 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) -> IO'
+  type 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) { (IO) -> t } -> t'
+  type 'self.read', '(String name, ?Fixnum length, ?Fixnum offset, %open_args) -> String'
+  type 'self.readlines', '(String name, ?String sep, ?Fixnum limit, %open_args) -> Array<String>'
+  type 'self.select', '(Array<IO> read_array, ?Array<IO> write_array, ?Array<IO> error_array, ?Fixnum timeout) -> Array<IO> or nil'
+  type 'self.sysopen', '(String path, ?String mode, ?String perm) -> Fixnum' # TODO unsure of type of perm
+  type 'self.try_convert', '([to_io: () -> IO]) -> IO or nil'
+  type 'self.write', '(String name, String, ?Fixnum offset, %open_args) -> Fixnum'
+  type :<<, '([to_s: () -> String]) -> self'
+  type :advise, '(:normal or :sequence or :random or :willneed or :dontneed or :noreuse, ?Fixnum offset, ?Fixnum len) -> nil'
+  type :autoclose=, '(%bool) -> %bool'
+  type :autoclose?, '() -> %bool'
+  type :binmode, '() -> self'
+  type :binmode?, '() -> %bool'
+  rdl_alias :bytes, :each_byte # deprecated
+  rdl_alias :chars, :each_char # deprecated
+  type :close, '() -> nil'
+  type :close_on_exec=, '(%bool) -> %bool'
+  type :close_on_exec?, '() -> %bool'
+  type :close_read, '() -> nil'
+  type :close_write, '() -> nil'
+  type :closed?, '() -> %bool'
+  rdl_alias :codepoints, :each_codepoint # deprecated
+  type :each, '(?String sep, ?Fixnum limit) { (String) -> %any } -> self'
+  type :each, '(?String sep, ?Fixnum limit) -> Enumerator<String>'
+  rdl_alias :each_line, :each
+  type :each_byte, '() { (Fixnum) -> %any } -> self'
+  type :each_byte, '() -> Enumerator<Fixnum>'
+  type :each_char, '() { (String) -> %any } -> self'
+  type :each_char, '() -> Enumerator<String>'
+  type :each_codepoint, '() { (Fixnum) -> %any } -> self'
+  type :each_codepoint, '() -> Enumerator<Fixnum>'
+  type :eof, '() -> %bool'
+  rdl_alias :eof?, :eof
+  type :external_enconding, '() -> Enconding'
+  type :fcntl, '(Fixnum integer_cmd, String or Fixnum arg) -> Fixnum'
+  type :fdatasync, '() -> 0 or nil'
+  type :fileno, '() -> Fixnum'
+  type :flush, '() -> self'
+  type :fsync, '() -> 0 or nil'
+  type :getbyte, '() -> Fixnum or nil'
+  type :getc, '() -> String or nil'
+  type :gets, '(?String sep, ?Fixnum limit) -> String or nil'
+  type :inspect, '() -> String'
+  type :internal_encoding, '() -> Encoding'
+  type :ioctl, '(Fixnum integer_cmd, String or Fixnum arg) -> Fixnum'
+  type :isatty, '() -> %bool'
+  type :lineno, '() -> Fixnum'
+  type :lineno=, '(Fixnum) -> Fixnum'
+  rdl_alias :lines, :each_line # deprecated
+  type :pid, '() -> Fixnum'
+  type :pos, '() -> Fixnum'
+  type :pos=, '(Fixnum) -> Fixnum'
+  type :print, '(*[to_s: () -> String]) -> nil'
+  type :printf, '(String format_string, *%any) -> nil'
+  type :putc, '(Numeric or String) -> %any'
+  type :puts, '(*[to_s: () -> String]) -> nil'
+  type :read, '(?Fixnum length, ?String outbuf) -> String or nil'
+  type :read_nonblock, '(Fixnum maxlen) -> String'
+  type :read_nonblock, '(Fixnum maxlen, String outbuf) -> String outbuf'
+  type :readbyte, '() -> Fixnum'
+  type :readchar, '() -> String'
+  type :readline, '(?String sep, ?Fixnum limit) -> String'
+  type :readlines, '(?String sep, ?Fixnum limit) -> Array<String>'
+  type :readpartial, '(Fixnum maxlen) -> String'
+  type :readpartial, '(Fixnum maxlen, String outbuf) -> String outbuf'
+  type :reopen, '(IO other_IO) -> IO'
+  type :reopen, '(String path, String mode_str) -> IO'
+  type :rewrind, '() -> 0'
+  type :seek, '(Fixnum amount, ?Fixnum whence) -> 0'
+  type :set_encoding, '(?String or Encoding ext_or_ext_int_enc) -> self'
+  type :set_encoding, '(?String or Encoding ext_enc, ?String or Encoding int_enc) -> self'
+  type :stat, '() -> File::Stat'
+  type :sync, '() -> %bool'
+  type :sync=, '(%bool) -> %bool'
+  type :sysread, '(Fixnum maxlen, String outbuf) -> String'
+  type :sysseek, '(Fixnum amount, ?Fixnum whence) -> Fixnum'
+  type :syswrite, '(String) -> Fixnum'
+  type :tell, '() -> Fixnum'
+  rdl_alias :to_i, :fileno
+  type :to_io, '() -> self'
+  type :tty?, '() -> %bool'
+  type :ungetbyte, '(String or Fixnum) -> nil'
+  type :ungetc, '(String) -> nil'
+  type :write, '(String) -> Fixnum'
+  type :write_nonbloc, '(String, ?Fixnum options) -> Fixnum'
+end