[DAG] canCreateUndefOrPoison - add freeze(fsh(x,y,z)) -> fsh(freeze(x),freeze(y),freeze(z)) support
The funnel-shift amount is always modulo, so won't introduce poison/undef
parent
01acdea9
Please register or sign in to comment
The funnel-shift amount is always modulo, so won't introduce poison/undef