Class BinaryOperatorDef