0x6d01c860 fails
0x6d01c86071ce2c22092b722bcfc6eb98
no description
Anonymous package: import it by hash.
- Published
- 2026-09-20
- Size
- 20,515 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 29 defs, 5 types
Import
import 0x6d01c86071ce2c22092b722bcfc6eb98/base64.bend as Base64 import 0x6d01c86071ce2c22092b722bcfc6eb98/bytes.bend as Bytes import 0x6d01c86071ce2c22092b722bcfc6eb98/hex.bend as Hex import 0x6d01c86071ce2c22092b722bcfc6eb98/package.bend as Package
Modules
- base64.bend not loaded
- bytes.bend 9 declarations
- hex.bend 34 declarations
- package.bend not loaded
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 |
|---|---|---|---|
| base64.bend | fails | - expected : a name (words joined by dots, got 'B64.ch.62')outputError: - expected : a name (words joined by dots, got 'B64.ch.62') - observed : 'B64.ch.62' Location: 40 | 41>| def B64.ch.62(alpha: B64.Alpha) -> Char: | ^^^^^^^^^ 42 | match alpha: | 0.4 s |
| bytes.bend | checks | ALL PROOFS CHECK | 0.6 s |
| hex.bend | checks | ALL PROOFS CHECK | 0.8 s |
| package.bend | fails | - expected : a name (words joined by dots, got 'B64.ch.62')outputError: - expected : a name (words joined by dots, got 'B64.ch.62') - observed : 'B64.ch.62' Location: 40 | 41>| def B64.ch.62(alpha: B64.Alpha) -> Char: | ^^^^^^^^^ 42 | match alpha: | 0.5 s |