diff options
Diffstat (limited to 'docs/type_system/unique.md')
| -rw-r--r-- | docs/type_system/unique.md | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/type_system/unique.md b/docs/type_system/unique.md index 4503917..30d0812 100644 --- a/docs/type_system/unique.md +++ b/docs/type_system/unique.md @@ -3,3 +3,19 @@ --- A type based on a complete template or an alias that is not interchangeable with what it is based on + +## \`unique + +# Example + +```text +Inches `unique U64 + +Centimeters `unique U64 + +i : Inches $ 1 + +c : Centimeters $ 1 + +i = c // Type Error +``` |