wrap-interval ( interval class -- interval' )

Vocabulary

compiler.tree.propagation.info

Inputs

interval	an interval
class	a class

Outputs

interval'

an interval

Word description

Wraps an interval to the given numeric types interval.

Definition

USING: kernel math.intervals ;

IN: compiler.tree.propagation.info

: wrap-interval ( interval class -- interval' )
    class-interval 2dup interval-subset? [ drop ] [ nip ] if ;