Method: TypeProf::Core::AST::SigTyIntersectionNode#contravariant_vertex0

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

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



509
510
511
512
513
 
# File 'lib/typeprof/core/ast/sig_type.rb', line 509

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