Add jet hint to ++swp.

This commit is contained in:
Fang 2018-07-13 13:53:07 +02:00
parent 64964ea2a9
commit 5041937837

View File

@ -803,7 +803,11 @@
|= {a/bloq b/@u c/@}
(div c (bex (mul (bex a) b)))
::
++ swp |=({a/bloq b/@} (rep a (flop (rip a b)))) :: reverse bloq order
++ swp :: reverse bloq order
~/ %swp
|= {a/bloq b/@}
(rep a (flop (rip a b)))
::
++ xeb :: binary logarithm
~/ %xeb
|= a/@