R3 - modelint/types GitHub Wiki

R3 / 1:Mc

Type defines zero, one or many Operator

Operator is defined on exactly one Type

---

If a value of a given type is merely read and assigned, than there is no need to define any explicit Operators.

Also, when a User Type inherits Operators from another Type, these may be adequate so that no further Operators need be defined.

However, if the inherited Operators are inadequate, more Operators may be defined.

In the Counter example, we define the: inc, dec, and reset operators.