Expand description
Source: Analysis/src/ConstraintGenerator.cpp:3606-3731 (hand-ported)
C++ std::tuple<TypeId, TypeId, RefinementId> ConstraintGenerator::checkBinary(...).
Source: Analysis/src/ConstraintGenerator.cpp:3606-3731 (hand-ported)
C++ std::tuple<TypeId, TypeId, RefinementId> ConstraintGenerator::checkBinary(...).