aver-lang-0.2.2
- aver-lang 0.2.2
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- jasisz
- Dependencies
- clap ^4 normal
  colored ^2 normal
  thiserror ^1 normal
  ureq ^2 normal
- Versions
- 17.4% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module checker

aver0.2.2

Module checker

Module Items

Structs
Functions

In crate aver

Module checker

Structs§

ModuleCheckFindings
VerifyResult

Functions§

check_module_intent
expr_to_str
index_decisions
run_verify