preserve=?

This commit is contained in:
Tony Garnock-Jones 2021-05-25 11:05:03 +02:00
parent 5c644624c4
commit 8b2aa0fb87
1 changed files with 2 additions and 0 deletions

View File

@ -2,6 +2,7 @@
(provide preserve-order
preserve<?
preserve=?
sorted-set-elements
sorted-dict-entries
sorted-dict-keys-and-values
@ -71,6 +72,7 @@
[_ (datum-order a b)])]))))
(define preserve<? (order-<? preserve-order))
(define preserve=? (order-=? preserve-order))
;;---------------------------------------------------------------------------
;; Sorting & cached sorted items