value-infos-union ( infos -- info )
Value info data type and operations
Prev:value-info-union ( info1 info2 -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
infosan object


Outputs
infoan object


Definition
USING: sequences ;

IN: compiler.tree.propagation.info

: value-infos-union ( infos -- info )
[ null-info ] [ [ ] [ value-info-union ] map-reduce ]
if-empty ;