The binary operation used for emitting skeletons in a par_t as a fold. More...
The binary operation used for emitting skeletons in a par_t as a fold.