class TypeProf::Core::AST::SigFuncType::SigTyBaseSelfNode

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 222
def contravariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, subst[:"*self"], vtx)
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 218
def covariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, subst[:"*self"], vtx)
end

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

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 226
def typecheck(genv, changes, vtx, subst)
  true # TODO: check self type
end