~/bend-docscommunity

0xda004b6e fails

0xda004b6e25aca0ce4a1c90a4af87bee0

no description

Anonymous package: import it by hash.

Published
2026-09-20
Size
42,932 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 2 defs, 0 types

Import

import 0xda004b6e25aca0ce4a1c90a4af87bee0/docs.bend as Docs
import 0xda004b6e25aca0ce4a1c90a4af87bee0/json.bend as Json
import 0xda004b6e25aca0ce4a1c90a4af87bee0/openai.bend as Openai
import 0xda004b6e25aca0ce4a1c90a4af87bee0/transport.bend as Transport

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
docs.bendchecks ALL PROOFS CHECK0.7 s
json.bendfails - expected : a fresh constructor name (duplicate declaration: Zero)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 |   Minus{}
193>|   Zero{}
    |   ^^^^
194 |   Integer{}
0.7 s
openai.bendfails - expected : a fresh constructor name (duplicate declaration: Zero)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 |   Minus{}
193>|   Zero{}
    |   ^^^^
194 |   Integer{}
0.6 s
transport.bendfails - expected : a fresh constructor name (duplicate declaration: Zero)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 |   Minus{}
193>|   Zero{}
    |   ^^^^
194 |   Integer{}
0.6 s