Skip to main content

linear_context_ty

oxilean_std::lambda_calculus::functions

Function linear_context_ty 

Source 
pub fn linear_context_ty() -> Expr
Expand description

LinearContext: a linear typing context (each variable used exactly once)