Module binary_ops 

Binary operation type evaluation.

This module handles type evaluation for binary operations like:

• Arithmetic: +, -, *, /, %, **
• Comparison: ==, !=, <, >, <=, >=
• Logical: &&, ||, !
• Bitwise: &, |, ^, ~, <<, >>, >>>

Architecture

The BinaryOpEvaluator evaluates the result type of binary operations and validates that operands are compatible with the operator.

All functions take TypeId as input and return structured results, making them pure logic that can be unit tested independently.

Structs

BinaryOpEvaluator

Evaluates binary operations on types.

Enums

BinaryOpResult

Result of a binary operation.

PrimitiveClass

Primitive type classes for overlap detection.