calls +qeu treap-order validation in mold with $|

This commit is contained in:
Joe Bryan 2019-05-29 14:17:10 -07:00
parent bdd5f96cbf
commit 12d46f1559

View File

@ -1808,7 +1808,9 @@
$| (tree (pair key value))
|=(a=(tree (pair)) ~(apt by a))
::
+* qeu [item] (tree item) :: queue
+* qeu [item] :: queue
$| (tree item)
|=(a=(tree) ~(apt to a))
::
+* set [item] :: set
$| (tree item)