Skip to main content

lambda_omega_ty

oxilean_std::lambda_calculus::functions

Function lambda_omega_ty 

Source 
pub fn lambda_omega_ty() -> Expr
Expand description

LambdaOmega: System Fω corner (type constructors)