[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Flattening

The function described here enables the `concatenation' of coproducts into a single one.

Flat(C) : Cop -> Cop
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]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013