R4 - modelint/types GitHub Wiki

R4 / 1-Mc:Mc

Operator is ecluded by zero, one or many Inheritance

Inheritance excludes zero, one or many Operator

---

When we define a User Type, we inherit some other Type and then have the option of exluding (disabling) a subset of the Operators defined in the inherited Type.

For example, if we define a Counter user type by inheriting the type Integer, we would disable the add, subtract, multiple, and divide Operators.

We could then define our own increment, decrement, and reset operators via R3.

In many cases, we'll just keep all of the inherited Operators which means we won't exclude any of them.

A given Operator may or may not be excluded by any number of inheriting User Types.