Skip to main content

parallel_reduction_ty

oxilean_std::lambda_calculus::functions

Function parallel_reduction_ty 

Source 
pub fn parallel_reduction_ty() -> Expr
Expand description

ParallelReduction: parallel β-reduction (β∥) — key for CR proof