Skip to main content

system_f_term_ty

oxilean_std::lambda_calculus::functions

Function system_f_term_ty 

Source 
pub fn system_f_term_ty() -> Expr
Expand description

SystemFTerm: terms of System F (including type abstraction and application)