<class-info> ( class -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
classan object


Outputs
infoan object


Definition
USING: kernel math.intervals words ;

IN: compiler.tree.propagation.info

: <class-info> ( class -- info )
dup word? [
dup null-class?
[ drop null empty-interval ] [
[ fix-capacity-class ]
[ class-interval integral-closure ] bi
] if f f f value-info-state boa
] [ f <class/interval-info> ] if ; foldable flushable