0x89df026e checks

0x89df026edd2acf2673b5e469e037eaf1

String.append and String.reverse — the lemmas Base does not ship.

Anonymous package: import it by hash.

Published

2026-09-19

Size

3,400 bytes, 1 files

License

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

Declarations

0 laws (0 proved), 5 defs, 0 types

Import

import 0x89df026edd2acf2673b5e469e037eaf1/string.bend as MString

Modules

• string.bend 5 declarations — String.append and String.reverse — the lemmas Base does not ship.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36