Type
# File typeprof-0.12.0/lib/typeprof/type.rb, line 451 def add_subst!(ty, subst) if subst[self] subst[self] = subst[self].union(ty) else subst[self] = ty end true end
# File typeprof-0.12.0/lib/typeprof/type.rb, line 447 def consistent?(_other) raise "should not be called: #{ self }" end
# File typeprof-0.12.0/lib/typeprof/type.rb, line 435 def each_free_type_variable yield self end