diff options
Diffstat (limited to 'src/algebra/lmdict.spad.pamphlet')
| -rw-r--r-- | src/algebra/lmdict.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/lmdict.spad.pamphlet b/src/algebra/lmdict.spad.pamphlet index deede84c..0b1e3ee3 100644 --- a/src/algebra/lmdict.spad.pamphlet +++ b/src/algebra/lmdict.spad.pamphlet @@ -36,8 +36,7 @@ NNI ==> NonNegativeInteger D ==> Record(entry:S, count:NonNegativeInteger) -ListMultiDictionary(S:SetCategory): MultiDictionary(S) with - finiteAggregate +ListMultiDictionary(S:SetCategory): Join(MultiDictionary S,FiniteAggregate S) with duplicates?: % -> Boolean ++ duplicates?(d) tests if dictionary d has duplicate entries. substitute : (S, S, %) -> % |