R1276 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1276 / 1c:Mc-1

External Operation yields output of zero or one Type

Type constrains output of zero, one or many External Operation

---

An External Operation may or may not return a value. If it does, we must specify the Scalar or Table Type of that value.

A Type has many uses so a given Type may or may not defined the output of an External Operation.

And, of course, more than one External Operation might return the same type of value.