~/bend-docscommunity

bend-kit-time@0.1.1.0 relies on unsafe/foreign

0x7888b0f73f36c6ac233e30ca25f8c108

Clocks, Duration and Instant, Gregorian dates, RFC 3339 and HTTP-date text, and TZif time zones. Source: https://github.com/paymog/bend-kit/tree/main/time

bend-kit-time@0.1.1.0 by paymog

Other versions (3)
Published
2026-09-28
Size
23,907 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 101 defs, 8 types

Import

import bend-kit-time@0.1.1.0/time.bend as Time
import 0x7888b0f73f36c6ac233e30ca25f8c108/time.bend as Time

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
time.bendrelies on unsafe/foreign 4 defs rely on unsafe or foreign code
defs: mono.raw, wall.raw, mono, now
output
SOME PROOFS FAIL
Error: 4 defs rely on unsafe or foreign code:
- mono.raw
- wall.raw
- mono
- now
1.2 s