public function __construct(ITypeSystem $typeSystem, $leftOperandType, $operator, $rightOperandType, $returnType) { parent::__construct($typeSystem); $this->leftOperandType = $leftOperandType; $this->operator = $operator; $this->rightOperandType = $rightOperandType; $this->returnType = $returnType; }