Plc ST（结构化文本）中是否允许混合类型

我想知道标准（IEC 1131-3）是否允许在表达式中混合不同的数据类型

范例

VAR A : BOOL;
    B : INT;

(* ... *)

IF (B AND C) THEN
  ...
END_IF

---

它不会编译。需要进行类型转换，因为ST的类型与Pascal一样严格。

在转换类型中的“向下”时，必须使用显式类型转换函数。“向上”转换是隐式完成的

VAR A : BOOL;
    B : INT;
(* ... *)
IF (INT_TO_BOOL(B) AND C) THEN
  ...
END_IF

这些类型转换的所有形式都是A型到B型的（）