1 # Generic collections: maps, a vector, a deque and a priority queue. Source: https://github.com/paymog/bend-kit/tree/main/collections 2 import Base 3 import ./omap.bend as OMap 4 import ./hmap.bend as HMap 5 import ./vec.bend as Vec 6 import ./deque.bend as Deque 7 import ./heap.bend as Heap 8 import ./order.bend as Order 9 # Publishes the laws and proofs, so dependent packages can cite them. 10 import ./PROOF.bend as Proof