diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/collection/sequence.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index a33351aee..477d034a7 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -34,21 +34,21 @@ ["n" nat] ["[0]" i64]]]]]) -(type: (Node a) +(type (Node a) (Variant {#Base (Array a)} {#Hierarchy (Array (Node a))})) -(type: (Base a) +(type (Base a) (Array a)) -(type: (Hierarchy a) +(type (Hierarchy a) (Array (Node a))) -(type: Level +(type Level Nat) -(type: Index +(type Index Nat) (def branching_exponent @@ -190,7 +190,7 @@ (list#composite (node#list sub) acc)) {.#End})))) -(type: .public (Sequence a) +(type .public (Sequence a) (Record [#level Level #size Nat |