is-instance-of ( value class -- constraint )

Vocabulary

compiler.tree.propagation.constraints

Inputs

value	an object
class	an object

Outputs

constraint

an object

Definition

USING: compiler.tree.propagation.copy kernel ;

IN: compiler.tree.propagation.constraints

: is-instance-of ( value class -- constraint )
    [ resolve-copy ] dip class-constraint boa ;