Skip to main content

typing_context_ty

oxilean_std::lambda_calculus::functions

Function typing_context_ty 

Source 
pub fn typing_context_ty() -> Expr
Expand description

TypingContext: a finite map from variables to simple types