Closed j6k4m8 closed 2 years ago
If I formally declare that two nodes are automorphic to one another, constraints from one should propagate to the other.
A -> B B -> A A === B A.size = "big"
That is, B.size should also have the constraint of B.size = "big".
B.size
B.size = "big"
This should happen BEFORE constraint validation steps, since there may be collisions:
A -> B B -> A A === B A.size = "big" B.size = "small" # collision!
If I formally declare that two nodes are automorphic to one another, constraints from one should propagate to the other.
That is,
B.size
should also have the constraint ofB.size = "big"
.This should happen BEFORE constraint validation steps, since there may be collisions: