~/bend-docscommunity

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

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
main.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- 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.bendchecks ALL PROOFS CHECK1.4 s
src/containers/binary_heap.bendchecks ALL PROOFS CHECK0.9 s
src/containers/bitset.bendchecks ALL PROOFS CHECK0.9 s
src/containers/deque.bendchecks ALL PROOFS CHECK0.7 s
src/containers/dlist_iterator.bendchecks ALL PROOFS CHECK1.2 s
src/containers/doubly_linked_list.bendchecks ALL PROOFS CHECK0.9 s
src/containers/dynamic_array.bendchecks ALL PROOFS CHECK0.9 s
src/containers/hash_table.bendchecks ALL PROOFS CHECK1.1 s
src/containers/internal/dlist_storage.bendchecks ALL PROOFS CHECK1.0 s
src/containers/lru.bendchecks ALL PROOFS CHECK1.1 s
src/containers/priority_queue.bendchecks ALL PROOFS CHECK1.0 s
src/containers/queue.bendchecks ALL PROOFS CHECK0.9 s
src/containers/simple_queue.bendchecks ALL PROOFS CHECK1.0 s
src/containers/stack.bendchecks ALL PROOFS CHECK0.9 s
src/containers/types/binary_heap.bendchecks ALL PROOFS CHECK0.9 s
src/containers/types/bitset.bendchecks ALL PROOFS CHECK0.7 s
src/containers/types/deque.bendchecks ALL PROOFS CHECK0.7 s
src/containers/types/doubly_linked_list.bendchecks ALL PROOFS CHECK0.6 s
src/containers/types/dynamic_array.bendchecks ALL PROOFS CHECK0.8 s
src/containers/types/internal_dlist.bendchecks ALL PROOFS CHECK0.9 s
src/containers/types/queue.bendchecks ALL PROOFS CHECK0.7 s
src/containers/types/stack.bendchecks ALL PROOFS CHECK0.6 s
src/crypto/blake/blake2b/blake2b.bendchecks ALL PROOFS CHECK1.4 s
src/crypto/blake/blake2b/compress.bendchecks ALL PROOFS CHECK1.3 s
src/crypto/blake/blake2b/hex.bendchecks ALL PROOFS CHECK0.9 s
src/crypto/blake/blake2b/lane.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/blake/blake2b/types.bendchecks ALL PROOFS CHECK0.7 s
src/crypto/blake/blake2s/blake2s.bendchecks ALL PROOFS CHECK1.0 s
src/crypto/blake/blake2s/compress.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/blake/blake2s/hex.bendchecks ALL PROOFS CHECK0.9 s
src/crypto/blake/blake2s/types.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/blake/blake3/blake3.bendfails - expected : a fresh constructor name (duplicate declaration: SNil)
output
Error:
- 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.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/blake/blake3/hex.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/blake/blake3/types.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/keccak/hex.bendchecks ALL PROOFS CHECK0.6 s
src/crypto/keccak/keccak.bendchecks ALL PROOFS CHECK1.3 s
src/crypto/keccak/lane.bendchecks ALL PROOFS CHECK0.7 s
src/crypto/keccak/permutation.bendchecks ALL PROOFS CHECK0.9 s
src/crypto/keccak/types.bendchecks ALL PROOFS CHECK0.8 s
src/crypto/sha/core.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- 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.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- 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.bendchecks ALL PROOFS CHECK0.8 s
src/math/hash.bendchecks ALL PROOFS CHECK0.8 s
src/math/pow2.bendchecks ALL PROOFS CHECK0.7 s
src/math/u64.bendchecks ALL PROOFS CHECK0.9 s