class TypeProf::Core::AST::SigFuncType::SigTyBaseBottomNode - typeprof: Ruby Standard Library Documentation

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

### Public Instance Methods

contravariant_vertex0(genv, changes, vtx, subst) click to toggle source

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

covariant_vertex0(genv, changes, vtx, subst) click to toggle source

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

show() click to toggle source

    # File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 187
    def show
      "bot"
    end