predicate-output-infos ( info class -- info )


Vocabulary
compiler.tree.propagation.simple

Inputs
infoan object
classan object


Outputs
infoan object


Definition
USING: accessors kernel ;

IN: compiler.tree.propagation.simple

: predicate-output-infos ( info class -- info )
over literal?>>
[ predicate-output-infos/literal ]
[ predicate-output-infos/class ] if ;