Skip to main content

variable_ty

oxilean_std::lambda_calculus::functions

Function variable_ty 

Source 
pub fn variable_ty() -> Expr
Expand description

Variable: de Bruijn index n refers to the n-th enclosing binder