is-in-interval ( value interval -- constraint )

Vocabulary

compiler.tree.propagation.constraints

Inputs

value	an object
interval	an object

Outputs

constraint

an object

Definition

USING: compiler.tree.propagation.copy kernel ;

IN: compiler.tree.propagation.constraints

: is-in-interval ( value interval -- constraint )
    [ resolve-copy ] dip interval-constraint boa ;