oxilean-codegen-0.1.1
- oxilean-codegen 0.1.1
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- cool-japan
- Dependencies
- oxilean-kernel ^0.1.1 normal
- Versions
- 38.98% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

arrow

oxilean_codegen0.1.1

In oxilean_codegen::agda_backend::functions

oxilean_codegen::agda_backend::functions

Function arrow

pub fn arrow(dom: AgdaExpr, cod: AgdaExpr) -> AgdaExpr

Expand description

Build a non-dependent Pi type: A → B.