 |
 |
 |
 |
 |
 |
 |
ä |
It is
sometimes necessary to introduce
|
|
|
|
additional
constructors to simplify the
|
|
|
|
specification
|
|
|
ä |
The
other constructors can then be defined
|
|
|
using
these more primitive constructors
|
|
|
ä |
In
the binary tree specification, a primitive
|
|
|
constructor
Build is added
|
|