diff options
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
| -rw-r--r-- | src/algebra/kl.spad.pamphlet | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index 26a8b374..e4091c90 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -116,11 +116,8 @@ SortedCache(S:CachableSet): Exports == Implementation where ++ Description: ++ MakeCachableSet(S) returns a cachable set which is equal to S as a set. MakeCachableSet(S:SetCategory): Exports == Implementation where - Exports ==> Join(CachableSet, CoercibleTo S) with - coerce: S -> % - ++ coerce(s) returns s viewed as an element of %. - - Implementation ==> add + Exports == Join(CachableSet, HomotopicTo S) + Implementation == add import SortedCache(%) Rep := Record(setpart: S, pos: NonNegativeInteger) |