class TypeProf::Core::AST::SigFuncType::SigTyBaseBoolNode

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

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

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

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/sig_type.rb, line 182
def typecheck(genv, changes, vtx, subst)
  changes.add_edge(genv, vtx, changes.target)
  vtx.each_type do |ty|
    return false unless ty == genv.true_type || ty == genv.false_type
  end
  true
end