Skip to main content

weak_normal_form_ty

oxilean_std::lambda_calculus::functions

Function weak_normal_form_ty 

Source 
pub fn weak_normal_form_ty() -> Expr
Expand description

WeakNormalForm: t can be reduced to a normal form