class TypeProf::Core::AST::SigFuncType::SigTyAliasNode::SigTyUnionNode::SigTySingletonNode::SigTyInstanceNode::SigTyTupleNode::SigTyVarNode::SigTyOptionalNode::SigTyLiteralNode::SigTyProcNode

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 592
def contravariant_vertex0(genv, changes, vtx, subst)
  Source.new()
end

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 588
def covariant_vertex0(genv, changes, vtx, subst)
  raise NotImplementedError
end

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 596
def show
  "(...proc...)"
end