class TypeProf::Core::AST::SigFuncType::SigTyBaseBottomNode

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 293
def contravariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, Source.new(Type::Bot.new(genv)), vtx)
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 289
def covariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, Source.new(Type::Bot.new(genv)), vtx)
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 302
def show
  "bot"
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 297
def typecheck(genv, changes, vtx, subst)
  changes.add_edge(genv, vtx, changes.target)
  vtx.types.empty?
end