Method: TypeProf::Core::AST::SigTyIntersectionNode#covariant_vertex0

Defined in:
lib/typeprof/core/ast/sig_type.rb

#covariant_vertex0(genv, changes, vtx, subst) ⇒ Object 



503
504
505
506
507
 
# File 'lib/typeprof/core/ast/sig_type.rb', line 503

def covariant_vertex0(genv, changes, vtx, subst)
  @types.each do |type|
    type.covariant_vertex0(genv, changes, vtx, subst)
  end
end