diff options
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
| -rw-r--r-- | src/algebra/tree.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index 985f6dc5..d3c10e91 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -30,8 +30,7 @@ import List ++ Each tree is either empty or else is a {\it node} consisting of a value and ++ a list of (sub)trees. Tree(S: SetCategory): T==C where - T== Join(RecursiveAggregate S,FiniteAggregate S) with - shallowlyMutable + T== Join(RecursiveAggregate S,FiniteAggregate S,ShallowlyMutableAggregate S) with tree: (S,List %) -> % ++ tree(nd,ls) creates a tree with value nd, and children ++ ls. |