0x13e6f540 checks

0x13e6f540958655a0df6133e871e59feb

Test — small Bool-check / proof-suite helper for Bend.

Anonymous package: import it by hash.

Published

2026-09-17

Size

2,188 bytes, 1 files

License

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

Declarations

0 laws (0 proved), 12 defs, 1 types

Import

import 0x13e6f540958655a0df6133e871e59feb/lib.bend as Lib

Modules

• lib.bend 14 declarations — Test — small Bool-check / proof-suite helper for Bend.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36