0x010f315b checks
0x010f315b70bbac62ddd97e2e3de5f9cc
Heap: a priority queue, as a skew heap ordered by a le you pass in.
Anonymous package: import it by hash.
- Published
- 2026-09-21
- Size
- 3,847 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 2 laws (2 proved), 11 defs, 1 types
Import
import 0x010f315b70bbac62ddd97e2e3de5f9cc/heap.bend as Heap
Modules
- heap.bend 16 declarations, 2 laws — Heap: a priority queue, as a skew heap ordered by a le you pass in.
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| heap.bend | checks | ALL PROOFS CHECK | 0.7 s |