Skip to main content

coeffect_system_ty

oxilean_std::lambda_calculus::functions

Function coeffect_system_ty 

Source 
pub fn coeffect_system_ty() -> Expr
Expand description

CoeffectSystem: a type system tracking resource usage via graded types