class TypeProf::Core::Narrowing::AndConstraint

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 85
def initialize(left, right)
  @left = left
  @right = right
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 92
def inspect
  "(#{@left.inspect} & #{@right.inspect})"
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 100
def narrow(genv, node, vtx)
  @left.narrow(genv, node, @right.narrow(genv, node, vtx))
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 96
def negate
  OrConstraint.new(@left.negate, @right.negate)
end