rdl 2.0.1 → 2.1.0

data/lib/types/core-ruby-2.x/float.rb

@@ -1,199 +0,0 @@
-class Float < Numeric
-  rdl_nowrap
-
-  type :%, '(%integer x {{ x != 0 }}) -> Float'
-  type :%, '(Float x {{ x != 0 }}) -> Float'
-  type :%, '(Rational x {{ x != 0 }}) -> Float'
-  type :%, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
-
-  type :*, '(%integer) -> Float'
-  type :*, '(Float) -> Float'
-  type :*, '(Rational) -> Float'
-  type :*, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :*, '(Complex) -> Complex'
-  pre(:*) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end} #can't have a complex with part BigDecimal, other part infinity/NAN
-
-  type :**, '(%integer) -> Float'
-  type :**, '(Float) -> %numeric'
-  type :**, '(Rational) -> %numeric'
-  type :**, '(BigDecimal) -> BigDecimal'
-  pre(:**) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
-  post(:**) { |x| x.real?}
-  type :**, '(Complex) -> Complex'
-  pre(:**) { |x| x != 0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end}
-
-  type :+, '(%integer) -> Float'
-  type :+, '(Float) -> Float'
-  type :+, '(Rational) -> Float'
-  type :+, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :+, '(Complex) -> Complex'
-  pre(:+) { |x| if x.real.is_a?(BigDecimal) then self!=Float::INFINITY && !(self.nan?) else true end}
-
-  type :-, '(%integer) -> Float'
-  type :-, '(Float) -> Float'
-  type :-, '(Rational) -> Float'
-  type :-, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :-, '(Complex) -> Complex'
-  pre(:-) { |x| if x.real.is_a?(BigDecimal) then self!=Float::INFINITY && !(self.nan?) else true end}
-
-  type :-, '() -> Float'
-
-  type :/, '(%integer x {{ x != 0 }}) -> Float'
-  type :/, '(Float x {{ x != 0 }}) -> Float'
-  type :/, '(Rational x {{ x != 0 }}) -> Float'
-  type :/, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :/, '(Complex x {{ x != 0 }}) -> Complex'
-  pre(:/) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :<, '(%integer) -> %bool'
-  type :<, '(Float) -> %bool'
-  type :<, '(Rational) -> %bool'
-  type :<, '(BigDecimal x {{ !self.nan? && !self.infinite? }}) -> %bool'
-
-  type :<=, '(%integer) -> %bool'
-  type :<=, '(Float) -> %bool'
-  type :<=, '(Rational) -> %bool'
-  type :<=, '(BigDecimal x {{ !self.nan? && !self.infinite? }}) -> %bool'
-
-  type :<=>, '(%integer) -> Object'
-  post(:<=>) { |x| x == -1 || x==0 || x==1}
-  type :<=>, '(Float) -> Object'
-  post(:<=>) { |x| x == -1 || x==0 || x==1}
-  type :<=>, '(Rational) -> Object'
-  post(:<=>) { |x| x == -1 || x==0 || x==1}
-  type :<=>, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> Object'
-  post(:<=>) { |x| x == -1 || x==0 || x==1}
-
-  type :==, '(Object) -> %bool'
-  pre(:==) { |x| if (x.is_a?(BigDecimal)) then (!self.nan? && self!=Float::INFINITY) else true end}
-
-  type :===, '(Object) -> %bool'
-  pre(:===) { |x| if (x.is_a?(BigDecimal)) then (!self.nan? && self!=Float::INFINITY) else true end}
-
-  type :>, '(%integer) -> %bool'
-  type :>, '(Float) -> %bool'
-  type :>, '(Rational) -> %bool'
-  type :>, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> %bool'
-
-  type :>=, '(%integer) -> %bool'
-  type :>=, '(Float) -> %bool'
-  type :>=, '(Rational) -> %bool'
-  type :>=, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> %bool'
-
-  type :abs, '() -> Float r {{ r>=0 }}'
-
-  type :abs2, '() -> Float r {{ r>=0 }}'
-
-  type :div, '(%integer x {{ x != 0 && !self.infinite? && !self.nan? }}) -> %integer'
-  type :div, '(Float x {{ x != 0 && !self.infinite? && !self.nan? }}) -> %integer'
-  type :div, '(Rational x {{ x != 0 && !self.infinite? && !self.nan? }}) -> %integer'
-  type :div, '(BigDecimal x {{ x != 0 && !x.nan? && !self.infinite? && !self.nan? }}) -> %integer'
-
-  type :divmod, '(%real) -> [%real, %real]'
-  pre(:divmod) { |x| x != 0 && if x.is_a?(Float) then !x.nan? else true end && self!=Float::INFINITY && !self.nan?}
-
-  type :angle, '() -> %numeric'
-  post(:angle) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
-
-  type :arg, '() -> %numeric'
-  post(:arg) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
-
-  type :ceil, '() -> %integer'
-  pre(:ceil) { !self.infinite? && !self.nan?}
-
-  type :coerce, '(%real) -> [Float, Float]'
-
-  type :denominator, '() -> %integer r {{ r>0 }}'
-
-  type :equal?, '(Object) -> %bool'
-
-  type :eql?, '(Object) -> %bool'
-
-  type :fdiv, '(%integer) -> Float'
-  type :fdiv, '(Float) -> Float'
-  type :fdiv, '(Rational) -> Float'
-  type :fdiv, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :fdiv, '(Complex) -> Complex'
-  pre(:fdiv) { |x| x != 0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :finite?, '() -> %bool'
-
-  type :floor, '() -> %integer'
-  pre(:ceil) { !self.infinite? && !self.nan?}
-
-  type :hash, '() -> %integer'
-
-  type :infinite?, '() -> Object'
-  post(:infinite?) { |r,x| r == -1 || r == 1 || r == nil }
-
-  type :to_s, '() -> String'
-  type :inspect, '() -> String'
-
-  type :magnitude, '() -> Float'
-  post(:magnitude) { |r,x| r>=0 }
-
-  type :modulo, '(%integer x {{ x != 0 }}) -> Float'
-  type :modulo, '(Float x {{ x != 0 }}) -> Float'
-  type :modulo, '(Rational x {{ x != 0 }}) -> Float'
-  type :modulo, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
-
-  type :nan?, '() -> %bool'
-
-  type :next_float, '() -> Float'
-
-  type :numerator, '() -> %integer'
-
-  type :phase, '() -> %numeric'
-  post(:phase) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
-
-  type :prev_float, '() -> Float'
-
-  type :quo, '(%integer x {{ x != 0 }}) -> Float'
-  type :quo, '(Float x {{ x != 0 }}) -> Float'
-  type :quo, '(Rational x {{ x != 0 }}) -> Float'
-  type :quo, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
-  type :quo, '(Complex x {{ x != 0 }}) -> Complex'
-  pre(:quo) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :rationalize, '() -> Rational'
-  pre(:rationalize) { !self.infinite? && !self.nan?}
-
-  type :rationalize, '(%numeric) -> Rational'
-  pre(:rationalize) { |x| if x.is_a?(Float) then x!=Float::INFINITY && !x.nan? else true end}
-
-  type :round, '() -> %integer'
-  pre(:round) { !self.infinite? && !self.nan?}
-
-  type :round, '(%numeric) -> %numeric'
-  pre(:round) { |x| x != 0 && if x.is_a?(Complex) then x.imaginary==0 && (if x.real.is_a?(Float)||x.real.is_a?(BigDecimal) then !x.real.infinite? && !x.real.nan? else true end) elsif x.is_a?(Float) then x!=Float::INFINITY && !x.nan? elsif x.is_a?(BigDecimal) then x!=BigDecimal::INFINITY && !x.nan? else true end} #Also, x must be in range [-2**31, 2**31].
-
-  type :to_f, '() -> Float'
-
-  type :to_i, '() -> %integer'
-  pre(:to_i) { !self.infinite? && !self.nan?}
-
-  type :to_int, '() -> %integer'
-  pre(:to_int) { !self.infinite? && !self.nan?}
-
-  type :to_r, '() -> Rational'
-  pre(:to_r) { !self.infinite? && !self.nan?}
-
-  type :truncate, '() -> %integer'
-
-  type :zero?, '() -> %bool'
-
-  type :conj, '() -> Float'
-  type :conjugate, '() -> Float'
-
-  type :imag, '() -> Fixnum r {{ r==0 }}'
-  type :imaginary, '() -> Fixnum r {{ r==0 }}'
-
-  type :real, '() -> Float'
-
-  type :real?, '() -> true'
-
-  type :to_c, '() -> Complex r {{ r.imaginary == 0 }}'
-
-  type :coerce, '(%numeric) -> [Float, Float]'
-  pre(:coerce) { |x| if x.is_a?(Complex) then x.imaginary==0 else true end}
-end

data/lib/types/core-ruby-2.x/gem.rb

@@ -1,247 +0,0 @@
-module Gem
-  rdl_nowrap
-  
-  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/lib/types/core-ruby-2.x/hash.rb

@@ -1,72 +0,0 @@
-class Hash
-  rdl_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