Map union jet

This commit is contained in:
Steve Dee 2014-04-15 13:07:11 -07:00
parent 66a68f4ce5
commit 79e34e3929

View File

@ -1588,6 +1588,15 @@
b b
$(a r.a, b [n.a $(a l.a)]) $(a r.a, b [n.a $(a l.a)])
:: ::
+- uni
~/ %uni
|= b=_a
?@ b a
%= $
a (~(put by a) p.n.b q.n.b)
b (~(uni by l.b) r.b)
==
::
+- wyt +- wyt
.+ .+
|- ^- @ |- ^- @