0xcc99578c checks

0xcc99578c1df5dd4557ca2ffa56ffce5f

no description

Anonymous package: import it by hash.

Other versions (18)

0xa7cf27ec 2026-09-18 latest
0x498c837f 2026-09-18
0x4c137800 2026-09-18
0x36062a68 2026-09-18
0x697f24d2 2026-09-18
0x58fe9864 2026-09-17
0xdf88d6b2 2026-09-17
0xbe30b4c1 2026-09-17
0x36850d3e 2026-09-17
0xfeda1cb3 2026-09-17
0x92b0674f 2026-09-17
0x4b7f9a03 2026-09-17
0xc6de6e52 2026-09-17
0x5af6678d 2026-09-17
0xcc241f12 2026-09-17
0x3b8f9f54 2026-09-17
0x87443356 2026-09-17
0x831d2a84 2026-09-17

Published: 2026-09-17
Size: 6,275 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 18 laws (18 proved), 10 defs, 1 types

Import

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

Modules

LAWS.bend 18 declarations, 18 laws
PROOF.bend 0 declarations
lib.bend 12 declarations — NonEmpty (aka NEList) — foundational non-empty list 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

File	Status	Checker says	Time
LAWS.bend	open laws/TODOs	18 TODOs found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. output SOME PROOFS FAIL Error: 18 TODOs found. The code is incomplete, and not a valid proof yet.	0.6 s
PROOF.bend	checks	ALL PROOFS CHECK	0.9 s
lib.bend	checks	ALL PROOFS CHECK	0.8 s
seal.bend	checks	ALL PROOFS CHECK	0.8 s