0xfeda1cb3 checks

0xfeda1cb3f8c4b9576ff8c9fdc7be7891

no description

Anonymous package: import it by hash.

Published

2026-09-17

Size

11,692 bytes, 4 files

License

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

Declarations

36 laws (36 proved), 17 defs, 2 types

Import

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

Modules

• LAWS.bend 36 declarations, 36 laws
• PROOF.bend 0 declarations
• lib.bend 21 declarations — Deque — foundational two-list double-ended queue for Bend.
• seal.bend 0 declarations — Seal — publish entry so LAWS+PROOF ship with the package.

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: 36 TODOs found.
The code is incomplete, and not a valid proof yet.