0x7d1714d9 fails
0x7d1714d98ca88352be07e0302e547a19
An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling.
Anonymous package: import it by hash.
- Published
- 2026-09-20
- Size
- 43,108 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 2 defs, 0 types
Import
import 0x7d1714d98ca88352be07e0302e547a19/docs.bend as Docs import 0x7d1714d98ca88352be07e0302e547a19/json.bend as Json import 0x7d1714d98ca88352be07e0302e547a19/openai.bend as Openai import 0x7d1714d98ca88352be07e0302e547a19/transport.bend as Transport
Modules
- docs.bend 2 declarations — An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling.
- json.bend not loaded
- openai.bend not loaded — An unofficial OpenAI SDK for Bend, with typed requests, streaming, and tool calling.
- transport.bend not loaded
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| docs.bend | checks | ALL PROOFS CHECK | 0.8 s |
| json.bend | fails | - expected : a fresh constructor name (duplicate declaration: Zero)outputError:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 | Minus{}
193>| Zero{}
| ^^^^
194 | Integer{} | 0.5 s |
| openai.bend | fails | - expected : a fresh constructor name (duplicate declaration: Zero)outputError:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 | Minus{}
193>| Zero{}
| ^^^^
194 | Integer{} | 0.8 s |
| transport.bend | fails | - expected : a fresh constructor name (duplicate declaration: Zero)outputError:
- expected : a fresh constructor name (duplicate declaration: Zero)
- observed : 'Zero'
Location:
192 | Minus{}
193>| Zero{}
| ^^^^
194 | Integer{} | 0.6 s |