<--> ( p q -- equivalence )

Vocabulary

compiler.tree.propagation.constraints

Inputs

p	an object
q	an object

Outputs

equivalence

an object

Definition

USING: kernel ;

IN: compiler.tree.propagation.constraints

: <--> ( p q -- equivalence ) \ equivalence boa ; inline