R10 - modelint/types GitHub Wiki

R10 / 1-M:M

Platform implements one or many Base Type

Base Type is implemented on one or many Platform

---

A Base Type must be implemented on at least one Platform for it to qualify. We make the assumption that any given Base Type is implemented on something.

We only care about those Platforms that implement at least one of our Base Types.

Typically, we will find that all of our Base Types are implemented on any given Platform.

For example, we can safely assume that Integer, String, Rational, Boolean, and so forth are available in some form in just about any programming language.