13 Jan
2008
13 Jan
'08
2:32 p.m.
Brian Sniffen writes: [[send to me as a private message, probably by mistake]]
Or, if you really want to use emptyBT for some reason, with depth x | x == emptyBT = 0
-- Brian T. Sniffen
OK, but then it is necessary to define the Eq instance for the trees Jerzy Karczmarczuk