Skip to main content

head_normal_form_ty

oxilean_std::lambda_calculus::functions

Function head_normal_form_ty 

Source 
pub fn head_normal_form_ty() -> Expr
Expand description

HeadNormalForm: the head of t is not a redex