0xf776c27e fails

0xf776c27e08f75fc19a070c691bcbb111

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

Anonymous package: import it by hash.

Published

2026-09-25

Size

73,665 bytes, 2 files

License

Apache-2.0 (LICENSE)

Declarations

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

Import

import 0xf776c27e08f75fc19a070c691bcbb111/json.bend as Json

Modules

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

Other files

• LICENSE 11,357 bytes

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 |