- added
push
to bump priorities - added
split_at
- changed
++
,of_list
to select the lowest, not the last/rightmost priority
Semantics cleanup.
- flipped args to
adjust
breaking of_list
now always chooses the rightmost bindingupdate
,(++)
,add_seq
,to_priority_list
- somewhat faster
Seq.t
conversions- property tests
- fixed key ordering of interval queries
- key order tie-breaks
min
First release.