Skip to main content

parallel_reduction_complete_ty

oxilean_std::lambda_calculus::functions

Function parallel_reduction_complete_ty 

Source 
pub fn parallel_reduction_complete_ty() -> Expr
Expand description

ParallelReductionComplete: t →β s implies t →β∥ s