Skip to main content

monadic_typing_ty

oxilean_std::lambda_calculus::functions

Function monadic_typing_ty 

Source 
pub fn monadic_typing_ty() -> Expr
Expand description

MonadicTyping: Γ ⊢ t : M[A] for monad M