diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/queue/priority.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux index 904858147..b399fc342 100644 --- a/stdlib/source/library/lux/data/collection/queue/priority.lux +++ b/stdlib/source/library/lux/data/collection/queue/priority.lux @@ -14,7 +14,7 @@ [number ["n" nat ("[1]#[0]" interval)]]] [type {"+" by_example} - [abstract {"+" abstract: abstraction representation}]]]]) + [primitive {"+" primitive: abstraction representation}]]]]) (type: .public Priority Nat) @@ -37,7 +37,7 @@ @)) -(abstract: .public (Queue a) +(primitive: .public (Queue a) (Maybe (Tree :@: Priority a)) (def: .public empty |