class TypeProf::Core::AST::SigFuncType::SigTyBaseTopNode

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 275
def contravariant_vertex0(genv, changes, vtx, subst)
  # TODO
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 271
def covariant_vertex0(genv, changes, vtx, subst)
  # TODO
end

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

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 279
def typecheck(genv, changes, vtx, subst)
  true
end