0x9ee2e9a2 fails
0x9ee2e9a299991dcc089fe22c7f3ceb5f
no description
Anonymous package: import it by hash.
- Published
- 2026-09-23
- Size
- 581,452 bytes, 47 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 1504 defs, 92 types
Import
import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/main.bend as Main import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/balanced_search_tree.bend as Balanced_search_tree import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/binary_heap.bend as Binary_heap import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as Bitset import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/deque.bend as Deque import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/dlist_iterator.bend as Dlist_iterator import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/doubly_linked_list.bend as Doubly_linked_list import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/dynamic_array.bend as Dynamic_array import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/hash_table.bend as Hash_table import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/internal/dlist_storage.bend as Dlist_storage import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/lru.bend as Lru import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/priority_queue.bend as Priority_queue import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/queue.bend as Queue import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/simple_queue.bend as Simple_queue import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/stack.bend as Stack import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/binary_heap.bend as Binary_heap import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/bitset.bend as Bitset import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/deque.bend as Deque import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/doubly_linked_list.bend as Doubly_linked_list import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/dynamic_array.bend as Dynamic_array import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/internal_dlist.bend as Internal_dlist import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/queue.bend as Queue import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/stack.bend as Stack import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/blake2b.bend as Blake2b import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/compress.bend as Compress import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/hex.bend as Hex import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/lane.bend as Lane import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2b/types.bend as Types import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2s/blake2s.bend as Blake2s import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2s/compress.bend as Compress import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2s/hex.bend as Hex import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake2s/types.bend as Types import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake3/blake3.bend as Blake3 import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake3/compress.bend as Compress import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake3/hex.bend as Hex import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/blake/blake3/types.bend as Types import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/hex.bend as Hex import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/keccak.bend as Keccak import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/lane.bend as Lane import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/permutation.bend as Permutation import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.bend as Types import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/sha/core.bend as Core import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/sha/sha256.bend as Sha256 import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/sha/state.bend as State import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/math/hash.bend as Hash import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/math/pow2.bend as Pow2 import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/math/u64.bend as U64
Modules
- main.bend not loaded
- src/containers/balanced_search_tree.bend 309 declarations — Generated by tools/generators/tree_map.py; edit algorithm definitions there.
- src/containers/binary_heap.bend 75 declarations
- src/containers/bitset.bend 91 declarations
- src/containers/deque.bend 32 declarations
- src/containers/dlist_iterator.bend 56 declarations
- src/containers/doubly_linked_list.bend 63 declarations
- src/containers/dynamic_array.bend 106 declarations
- src/containers/hash_table.bend 120 declarations
- src/containers/internal/dlist_storage.bend 93 declarations
- src/containers/lru.bend 181 declarations
- src/containers/priority_queue.bend 7 declarations
- src/containers/queue.bend 20 declarations
- src/containers/simple_queue.bend 6 declarations
- src/containers/stack.bend 17 declarations
- src/containers/types/binary_heap.bend 14 declarations
- src/containers/types/bitset.bend 19 declarations
- src/containers/types/deque.bend 16 declarations
- src/containers/types/doubly_linked_list.bend 27 declarations
- src/containers/types/dynamic_array.bend 21 declarations
- src/containers/types/internal_dlist.bend 27 declarations
- src/containers/types/queue.bend 13 declarations
- src/containers/types/stack.bend 13 declarations
- src/crypto/blake/blake2b/blake2b.bend 75 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
- src/crypto/blake/blake2b/compress.bend 140 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
- src/crypto/blake/blake2b/hex.bend 7 declarations — Lowercase hex of a 64-byte BLAKE2b digest (sixteen little-endian words).
- src/crypto/blake/blake2b/lane.bend 6 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
- src/crypto/blake/blake2b/types.bend 10 declarations — Generated by tools/generators/blake2b_gen.py; do not edit by hand.
- src/crypto/blake/blake2s/blake2s.bend 46 declarations — Generated by tools/generators/blake2s_gen.py; do not edit.
- src/crypto/blake/blake2s/compress.bend 5 declarations — Generated by tools/generators/blake2s_gen.py; do not edit.
- src/crypto/blake/blake2s/hex.bend 7 declarations
- src/crypto/blake/blake2s/types.bend 4 declarations
- src/crypto/blake/blake3/blake3.bend not loaded
- src/crypto/blake/blake3/compress.bend 11 declarations
- src/crypto/blake/blake3/hex.bend 6 declarations
- src/crypto/blake/blake3/types.bend 8 declarations
- src/crypto/keccak/hex.bend 7 declarations
- src/crypto/keccak/keccak.bend 81 declarations
- src/crypto/keccak/lane.bend 30 declarations
- src/crypto/keccak/permutation.bend 6 declarations
- src/crypto/keccak/types.bend 4 declarations
- src/crypto/sha/core.bend not loaded
- src/crypto/sha/sha256.bend not loaded
- src/crypto/sha/state.bend 2 declarations
- src/math/hash.bend 4 declarations
- src/math/pow2.bend 2 declarations
- src/math/u64.bend 19 declarations
Dependencies
No imports from other hub packages.
Dependents
- mylsm-lsm-store@0.5.0.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords - mylsm-lsm-store@0.4.0.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords - mylsm-lsm-store@0.3.2.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords - mylsm-lsm-store@0.3.1.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords - mylsm-lsm-store@0.3.0.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords - mylsm-lsm-store@0.2.0.0 via
src/BitTree.bend: import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/bitset.bend as BitWords
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | fails | - expected : a fresh name (duplicate declaration: Window)outputError:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 |
4>| type Window is Data:
| ^^^^^^
5 | W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32, | 1.0 s |
| src/containers/balanced_search_tree.bend | checks | ALL PROOFS CHECK | 1.4 s |
| src/containers/binary_heap.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/bitset.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/deque.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/containers/dlist_iterator.bend | checks | ALL PROOFS CHECK | 1.2 s |
| src/containers/doubly_linked_list.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/dynamic_array.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/hash_table.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/containers/internal/dlist_storage.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/containers/lru.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/containers/priority_queue.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/containers/queue.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/simple_queue.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/containers/stack.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/types/binary_heap.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/types/bitset.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/containers/types/deque.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/containers/types/doubly_linked_list.bend | checks | ALL PROOFS CHECK | 0.6 s |
| src/containers/types/dynamic_array.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/containers/types/internal_dlist.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/containers/types/queue.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/containers/types/stack.bend | checks | ALL PROOFS CHECK | 0.6 s |
| src/crypto/blake/blake2b/blake2b.bend | checks | ALL PROOFS CHECK | 1.4 s |
| src/crypto/blake/blake2b/compress.bend | checks | ALL PROOFS CHECK | 1.3 s |
| src/crypto/blake/blake2b/hex.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/crypto/blake/blake2b/lane.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/blake/blake2b/types.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/crypto/blake/blake2s/blake2s.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/crypto/blake/blake2s/compress.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/blake/blake2s/hex.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/crypto/blake/blake2s/types.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/blake/blake3/blake3.bend | fails | - expected : a fresh constructor name (duplicate declaration: SNil)outputError:
- expected : a fresh constructor name (duplicate declaration: SNil)
- observed : 'SNil'
Location:
156 | type Stack is Data:
157>| SNil{}
| ^^^^
158 | SEmpty{rest: Stack} | 0.5 s |
| src/crypto/blake/blake3/compress.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/blake/blake3/hex.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/blake/blake3/types.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/keccak/hex.bend | checks | ALL PROOFS CHECK | 0.6 s |
| src/crypto/keccak/keccak.bend | checks | ALL PROOFS CHECK | 1.3 s |
| src/crypto/keccak/lane.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/crypto/keccak/permutation.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/crypto/keccak/types.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/crypto/sha/core.bend | fails | - expected : a fresh name (duplicate declaration: Window)outputError:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 |
4>| type Window is Data:
| ^^^^^^
5 | W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32, | 0.4 s |
| src/crypto/sha/sha256.bend | fails | - expected : a fresh name (duplicate declaration: Window)outputError:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 |
4>| type Window is Data:
| ^^^^^^
5 | W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32, | 0.3 s |
| src/crypto/sha/state.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/math/hash.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/math/pow2.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/math/u64.bend | checks | ALL PROOFS CHECK | 0.9 s |