Skip to main content

coeffect_typing_ty

oxilean_std::lambda_calculus::functions

Function coeffect_typing_ty 

Source 
pub fn coeffect_typing_ty() -> Expr
Expand description

CoeffectTyping: Γ ⊢ t : T graded by r