aver-lang-0.5.5
- aver-lang 0.5.5
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jasisz
- Dependencies
- aver-rt =0.2.2 normal
  clap ^4 normal
  colored ^2 normal
  thiserror ^1 normal
  toml ^0.8 normal
  url ^2 normal
- Versions
- 19.36% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module dafny

aver0.5.5

Module dafny

Module Items

Functions

In aver::codegen

Module dafny

Functions§

transpile: Transpile an Aver program into a Dafny project.