Skip to main content

pcf_term_ty

oxilean_std::lambda_calculus::functions

Function pcf_term_ty 

Source 
pub fn pcf_term_ty() -> Expr
Expand description

PCFTerm: terms of PCF (including fix, pred, succ, if-then-else)