Skip to main content

mk_lambda

oxilean_kernel::abstract::functions

Function mk_lambda 

Source 
pub fn mk_lambda(fvars: &[(FVarId, Name, Expr)], body: &Expr) -> Expr
Expand description

Build a lambda abstraction from free variables.

Given body and free variables with their types [(x, A), (y, B)], constructs λ (x : A) (y : B). body[x→#1, y→#0].