Open3
論理演算とDefined typeの関係
tenntennbool型をUnderlying typeとして持つDefined typeの値に対して、論理演算した場合の型は元のDefined typeになる。一方、関係演算は常にuntyped boolになる。
NobishiiExcept for shift operations, if one operand is an untyped constant and the other operand is not, the constant is implicitly converted to the type of the other operand.
Comparison operators compare two operands and yield an untyped boolean value.
それぞれの根拠を探してきました