0x1f4d6c03 fails

0x1f4d6c03caf955232d0b0dc6e6f36cf4

json.bend: A production-grade, highly reusable JSON library for Bend 2.

Anonymous package: import it by hash.

Published

2026-09-19

Size

61,897 bytes, 1 files

License

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

Declarations

0 laws (0 proved), 167 defs, 21 types

Import

import 0x1f4d6c03caf955232d0b0dc6e6f36cf4/json.bend as Json

Modules

• json.bend 307 declarations — json.bend: A production-grade, highly reusable JSON library for Bend 2.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : a defined name
- observed : Nat.read.fit
Context:
- acc : Nat
- d   : Nat
Location: check_safe_mul10_step
870 |     case False{}:
871>|       Nat.read.fit(acc, Nat.divmod(Nat.sub(Nat.read.max(), d), 10n))
    |       ^^^^^^^^^^^^
872 |