0xce16f354 checks
0xce16f354e68f7bbd659db8de167a2393
no description
Anonymous package: import it by hash.
- Published
- 2026-09-29
- Size
- 378 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 4 defs, 0 types
Import
import 0xce16f354e68f7bbd659db8de167a2393/cw.bend as Cw
Modules
- cw.bend 4 declarations
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 |
|---|---|---|---|
| cw.bend | checks | ALL PROOFS CHECK | 0.7 s |