123 B
123 B
effect
| effect |
|---|
| patch |
Fix Unify.unify so Layer unions merge correctly, and add type tests covering Layer unification.
| effect |
|---|
| patch |
Fix Unify.unify so Layer unions merge correctly, and add type tests covering Layer unification.