class TypeProf::Core::Narrowing::Constraint

Narrowing system for type refinement

Source

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 30
def and(other)
  AndConstraint.new(self, other)
end

Source

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/env/narrowing.rb, line 34
def or(other)
  OrConstraint.new(self, other)
end