Subtypes

From dis-Emi-A

Jump to: navigation, search

Intro

Subtypes are motivated by the need to describe quantities that are fully repsented by an existing type, but have a specific unit applied to them.

These are related to, and can be used in conjunction with Constrained Types.

Sample 

 ???
Retrieved from "http://wiki.disemia.com/Subtypes"