diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/collection/queue/priority.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/data/collection/queue/priority.lux b/stdlib/source/lux/data/collection/queue/priority.lux index 5f882c170..1e7d40022 100644 --- a/stdlib/source/lux/data/collection/queue/priority.lux +++ b/stdlib/source/lux/data/collection/queue/priority.lux @@ -6,7 +6,7 @@ [data ["." maybe] [number - ["." nat ("#/." interval)]] + ["." nat ("#;." interval)]] [collection [tree ["." finger (#+ Tree)]]]]]) @@ -16,8 +16,8 @@ (type: #export (Queue a) (Maybe (Tree Priority a))) -(def: #export max Priority nat/top) -(def: #export min Priority nat/bottom) +(def: #export max Priority nat;top) +(def: #export min Priority nat;bottom) (def: #export empty Queue |