3 ms·

Right, they describe different aspects of how types work in a language.

• enginaar 7y ago
  Thanks. I appreciate the time you took for clarifying in detail.