R8 - modelint/types GitHub Wiki

R8 / 1:Mc

Operand value must be exactly one Type

Type specifies values compatible with exactly one Operand

---

An Operator requires that each of its Operands be of a specific Type.