0x3b8f9f54 checks

0x3b8f9f546e51ef5efc252d01094290fb

no description

Anonymous package: import it by hash.

Published

2026-09-17

Size

11,263 bytes, 4 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

32 laws (32 proved), 36 defs, 1 types

Import

import 0x3b8f9f546e51ef5efc252d01094290fb/LAWS.bend as LAWS
import 0x3b8f9f546e51ef5efc252d01094290fb/PROOF.bend as PROOF
import 0x3b8f9f546e51ef5efc252d01094290fb/lib.bend as Lib
import 0x3b8f9f546e51ef5efc252d01094290fb/seal.bend as Seal

Modules

• LAWS.bend 32 declarations, 32 laws
• PROOF.bend 0 declarations
• lib.bend 38 declarations — BitSet — a small packed bit set for natural-number indices.
• seal.bend 0 declarations — Publish seal: imports the implementation and its checked laws.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 32 TODOs found.
The code is incomplete, and not a valid proof yet.