Is "assignment" possible?

[johndavids]

Is something like this possible with CHR.js?

and(X,Y,Z) <=> Y === 0 | Z = 0.

Thank you!

[wizzard0]

i believe "assignment" in chr means adding a new constraint, so that would be something like and (X,Y,Z) <=>Y===0| const(Z,0)