aver-lang-0.2.2
- aver-lang 0.2.2
- 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

transpile

aver0.2.2

In aver::codegen::lean

aver::codegen::lean

Function transpile

pub fn transpile(ctx: &CodegenContext) -> ProjectOutput

Expand description

Transpile an Aver program to a Lean 4 project.