diff options
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index c6fe7d85..4dd872f2 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -582,11 +582,7 @@ Stream(S): Exports == Implementation where NNI ==> NonNegativeInteger U ==> UniversalSegment I - Exports == Join(LazyStreamAggregate(S),CoercibleFrom L S) with - shallowlyMutable - ++ one may destructively alter a stream by assigning new - ++ values to its entries. - + Exports == Join(LazyStreamAggregate(S),CoercibleFrom L S,ShallowlyMutableAggregate S) with repeating: L S -> % ++ repeating(l) is a repeating stream whose period is the list l. if S has SetCategory then |