aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/aggcat.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
-rw-r--r--src/algebra/aggcat.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index 473cfd2c..71db9681 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -929,7 +929,7 @@ import SetCategory
++ will return the integers 1,7, and 4; thus this list may be viewed
++ as mapping 0 to 1, 1 to 7 and 2 to 4. In general, an aggregate
++ can map members of a domain {\em Dom} to an image domain {\em Im}.
-EltableAggregate(Dom:SetCategory, Im:Type): Category ==
+EltableAggregate(Dom: BasicType, Im:Type): Category ==
Eltable(Dom, Im) with
elt : (%, Dom, Im) -> Im
++ elt(u, x, y) applies u to x if x is in the domain of u,
@@ -984,7 +984,7 @@ import List
++ For example, a one-dimensional-array is an indexed aggregate where
++ the index is an integer. Also, a table is an indexed aggregate
++ where the indices and entries may have any type.
-IndexedAggregate(Index: SetCategory, Entry: Type): Category ==
+IndexedAggregate(Index: BasicType, Entry: Type): Category ==
Join(HomogeneousAggregate(Entry), EltableAggregate(Index, Entry)) with
entries: % -> List Entry
++ entries(u) returns a list of all the entries of aggregate u