diff options
Diffstat (limited to 'src/algebra/bags.spad.pamphlet')
| -rw-r--r-- | src/algebra/bags.spad.pamphlet | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/algebra/bags.spad.pamphlet b/src/algebra/bags.spad.pamphlet index a00b49e6..ed8b82a6 100644 --- a/src/algebra/bags.spad.pamphlet +++ b/src/algebra/bags.spad.pamphlet @@ -42,6 +42,16 @@ Stack(S: Type): StackAggregate S with s = t == deref s = deref t + parts s == -- from HOAGG + deref s + + map(f: S -> S, s: %) == -- from HOAGG + ref map(f, deref s)$List(S) + + map!(f: S -> S, s: %) == -- from HOAGG + map!(f, deref s)$List(S) + s + copy s == ref copy deref s depth s == # deref s # s == depth s |