diff options
Diffstat (limited to 'docs/type_system/unique.md')
| -rw-r--r-- | docs/type_system/unique.md | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/docs/type_system/unique.md b/docs/type_system/unique.md deleted file mode 100644 index 30d0812..0000000 --- a/docs/type_system/unique.md +++ /dev/null @@ -1,21 +0,0 @@ -# Unique - ---- - -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 -``` |