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

docs.rs

Rust

Skip to main content

reduce_lets

oxilean_kernel0.1.0

In oxilean_kernel::beta::functions

oxilean_kernel::beta::functions

Function reduce_lets

pub fn reduce_lets(expr: &Expr) -> Expr

Expand description

Reduce all let-bindings by substitution.

Converts to .