0xe03885ed relies on unsafe/foreign
0xe03885ed80ec3da089076b8dd6f8e83f
no description
Anonymous package: import it by hash.
Other versions (1)
- 0x38c59765 2026-09-27 latest
- Published
- 2026-09-27
- Size
- 82,504 bytes, 5 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 595 defs, 18 types
Import
import 0xe03885ed80ec3da089076b8dd6f8e83f/bendana.bend as Bendana import 0xe03885ed80ec3da089076b8dd6f8e83f/sol.bend as Sol import 0xe03885ed80ec3da089076b8dd6f8e83f/sysvar.bend as Sysvar import 0xe03885ed80ec3da089076b8dd6f8e83f/token.bend as Token import 0xe03885ed80ec3da089076b8dd6f8e83f/types.bend as Types
Modules
- bendana.bend 3 declarations
- sol.bend 167 declarations
- sysvar.bend 24 declarations
- token.bend 10 declarations
- types.bend 437 declarations
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 |
|---|---|---|---|
| bendana.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.main | 1.0 s |
| sol.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.main | 1.3 s |
| sysvar.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.main | 0.9 s |
| token.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign, 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show, 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read, 0xe03885ed80ec3da089076b8dd6f8e83f/types.mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.step - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sshow - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.go - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read.if - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread.sign - 0xe03885ed80ec3da089076b8dd6f8e83f/types.W.sread - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.u128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i8.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i16.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i32.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i64.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.show - 0xe03885ed80ec3da089076b8dd6f8e83f/types.i128.read - 0xe03885ed80ec3da089076b8dd6f8e83f/types.main | 1.4 s |
| types.bend | relies on unsafe/foreign | 32 defs rely on unsafe or foreign code defs: W.show.go, W.show.step, W.show.if, W.show, W.sshow.if, W.sshow, W.read.go, W.read.if, W.read, W.sread.sign, W.sread, u8.show, u8.read, u16.show, u16.read, u32.show, u32.read, u64.show, u64.read, u128.show, u128.read, i8.show, i8.read, i16.show, i16.read, i32.show, i32.read, i64.show, i64.read, i128.show, i128.read, mainoutputSOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - W.show.go - W.show.step - W.show.if - W.show - W.sshow.if - W.sshow - W.read.go - W.read.if - W.read - W.sread.sign - W.sread - u8.show - u8.read - u16.show - u16.read - u32.show - u32.read - u64.show - u64.read - u128.show - u128.read - i8.show - i8.read - i16.show - i16.read - i32.show - i32.read - i64.show - i64.read - i128.show - i128.read - main | 1.0 s |