~/bend-docscommunity

0x7205ddce checks

0x7205ddcee53cfdb6b62686553b824b13

Core module

Anonymous package: import it by hash.

Published
2026-09-23
Size
1,373 bytes, 6 files
License
MIT (LICENSE)
Declarations
0 laws (0 proved), 0 defs, 0 types

Import

import 0x7205ddcee53cfdb6b62686553b824b13/core/basic.bend as Basic
import 0x7205ddcee53cfdb6b62686553b824b13/core/constants.bend as Constants
import 0x7205ddcee53cfdb6b62686553b824b13/core/exp.bend as Exp
import 0x7205ddcee53cfdb6b62686553b824b13/core/trig.bend as Trig
import 0x7205ddcee53cfdb6b62686553b824b13/main.bend as Main

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
core/basic.bendchecks ALL PROOFS CHECK0.2 s
core/constants.bendchecks ALL PROOFS CHECK0.2 s
core/exp.bendchecks ALL PROOFS CHECK0.1 s
core/trig.bendchecks ALL PROOFS CHECK0.2 s
main.bendchecks ALL PROOFS CHECK0.8 s