is-equal-to ( value literal -- constraint )


Vocabulary
compiler.tree.propagation.constraints

Inputs
valuean object
literalan object


Outputs
constraintan object


Definition