~/bend-docscommunity

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

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
heap.bendchecks ALL PROOFS CHECK0.7 s