diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-08 10:03:05 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-08 10:03:05 -0400 |
| commit | dda8ef8f15662e7621251148eb1b1da7a22f199b (patch) | |
| tree | e19492b2f5ac6710e20c53b09d64ce4e4aec7a3e /docs/type_system/unique.md | |
| parent | f00fe3aaca06fb652ae51f44ce82289a4c3ccd5b (diff) | |
examples with unqiue and operators
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 +``` |