diff options
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
| -rw-r--r-- | src/algebra/tree.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index c574d9a4..5b573f8f 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -615,14 +615,11 @@ BalancedBinaryTree(S: SetCategory): Exports == Implementation where ++ A PendantTree(S)is either a leaf? and is an S or has ++ a left and a right both PendantTree(S)'s PendantTree(S: SetCategory): T == C where - T == BinaryRecursiveAggregate(S) with + T == Join(BinaryRecursiveAggregate(S),CoercibleTo Tree S) with ptree : S->% ++ ptree(s) is a leaf? pendant tree ptree:(%, %)->% ++ ptree(x,y) \undocumented - coerce:%->Tree S - ++ coerce(x) \undocumented - C == add Rep := Tree S |