diff options
Diffstat (limited to 'src/algebra/newdata.spad.pamphlet')
| -rw-r--r-- | src/algebra/newdata.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/newdata.spad.pamphlet b/src/algebra/newdata.spad.pamphlet index 1cc2f1e4..09484852 100644 --- a/src/algebra/newdata.spad.pamphlet +++ b/src/algebra/newdata.spad.pamphlet @@ -361,8 +361,7 @@ SplittingTree(V,C) : Exports == Implementation where S ==> SplittingNode(V,C) A ==> Record(root:S,subTrees:List(%)) - Exports == Join(RecursiveAggregate S,FiniteAggregate S) with - shallowlyMutable + Exports == Join(RecursiveAggregate S,FiniteAggregate S,ShallowlyMutableAggregate S) with extractSplittingLeaf : % -> Union(%,"failed") ++ \axiom{extractSplittingLeaf(a)} returns the left ++ most leaf (as a tree) whose status is false |