Skip to main content

pcf_fixpoint_ty

oxilean_std::lambda_calculus::functions

Function pcf_fixpoint_ty 

Source 
pub fn pcf_fixpoint_ty() -> Expr
Expand description

PCFFixpoint: the fixed-point operator fix : (τ → τ) → τ in PCF