|
The function described here enables the `concatenation' of coproducts into
a single one.
Given a coproduct C of structures which may themselves be coproducts,
return the coproduct of the base structures, considered in depth-first
order.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|