bend-edit-distance@0.1.0.0 checks
0x483ba00627509c62188f937a7cfd8f76
no description
bend-edit-distance@0.1.0.0 by Genarito
- Published
- 2026-10-10
- Size
- 64,185 bytes, 7 files
- License
- GPL-3.0 (LICENSE)
- Declarations
- 0 laws (0 proved), 87 defs, 18 types
Import
import bend-edit-distance@0.1.0.0/Alignment.bend as Alignment import 0x483ba00627509c62188f937a7cfd8f76/Alignment.bend as Alignment import bend-edit-distance@0.1.0.0/AlignmentCli.bend as AlignmentCli import 0x483ba00627509c62188f937a7cfd8f76/AlignmentCli.bend as AlignmentCli import bend-edit-distance@0.1.0.0/Cli.bend as Cli import 0x483ba00627509c62188f937a7cfd8f76/Cli.bend as Cli import bend-edit-distance@0.1.0.0/EdlibTypes.bend as EdlibTypes import 0x483ba00627509c62188f937a7cfd8f76/EdlibTypes.bend as EdlibTypes import bend-edit-distance@0.1.0.0/lib.bend as Lib import 0x483ba00627509c62188f937a7cfd8f76/lib.bend as Lib import bend-edit-distance@0.1.0.0/main.bend as Main import 0x483ba00627509c62188f937a7cfd8f76/main.bend as Main
Modules
- Alignment.bend 34 declarations
- AlignmentCli.bend 9 declarations
- Cli.bend 11 declarations
- EdlibTypes.bend 52 declarations
- lib.bend 3 declarations
- main.bend 29 declarations
Other files
- LICENSE 35,823 bytes
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 |
|---|---|---|---|
| Alignment.bend | checks | ALL PROOFS CHECK | 0.5 s |
| AlignmentCli.bend | checks | ALL PROOFS CHECK | 0.9 s |
| Cli.bend | checks | ALL PROOFS CHECK | 0.4 s |
| EdlibTypes.bend | checks | ALL PROOFS CHECK | 0.4 s |
| lib.bend | checks | ALL PROOFS CHECK | 0.7 s |
| main.bend | checks | ALL PROOFS CHECK | 0.7 s |