diff options
Diffstat (limited to 'src/algebra/newdata.spad.pamphlet')
| -rw-r--r-- | src/algebra/newdata.spad.pamphlet | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/src/algebra/newdata.spad.pamphlet b/src/algebra/newdata.spad.pamphlet index 3cc22ee6..aacaddb7 100644 --- a/src/algebra/newdata.spad.pamphlet +++ b/src/algebra/newdata.spad.pamphlet @@ -255,10 +255,7 @@ SplittingNode(V,C) : Exports == Implementation where Implementation == add - Rep ==> VTB - - rep(n:%):Rep == n pretend Rep - per(r:Rep):% == r pretend % + Rep == VTB empty() == per [empty()$V,empty()$C,false]$Rep empty?(n:%) == empty?((rep n).val)$V and empty?((rep n).tower)$C @@ -437,10 +434,7 @@ SplittingTree(V,C) : Exports == Implementation where Implementation == add - Rep ==> A - - rep(n:%):Rep == n pretend Rep - per(r:Rep):% == r pretend % + Rep == A construct(s:S) == per [s,[]]$A |