diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/tree/finger.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux index 3c8e5e1db..19e3dae15 100644 --- a/stdlib/source/library/lux/data/collection/tree/finger.lux +++ b/stdlib/source/library/lux/data/collection/tree/finger.lux @@ -8,10 +8,10 @@ [collection ["[0]" list ("[1]#[0]" monoid)]]] [type - [abstract {"+" abstract: abstraction representation}]]]]) + [primitive {"+" primitive: abstraction representation}]]]]) ... https://en.wikipedia.org/wiki/Finger_tree -(abstract: .public (Tree @ t v) +(primitive: .public (Tree @ t v) (Record [#monoid (Monoid t) #tag t |