implication? ( object -- ? )

Vocabulary

compiler.tree.propagation.constraints

Inputs and outputs

object	an object
?	a boolean

Word description

Tests if the object is an instance of the implication class.

Definition

USING: classes.tuple.private kernel slots.private ;

IN: compiler.tree.propagation.constraints

: implication? ( object -- ? )
    dup tuple?
    [ layout-of 7 slot \ implication eq? ] [ drop f ] if ;