ref="varnumbers.html#max_var_number/3">max_var_number/3True when Max is the max of Start and the highest numbered $VAR(N) term. numbervars/1Number variables in Term using $VAR(N). varnumbers/2Inverse of numbervars/1. varnumbers/3Inverse of numbervars/3. varnumbers_names/3If Term is a term with numbered and named variables using the reserved term’$VAR'(X), Copy is a copy of Term where each’$VAR'(X) is consistently replaced by a fresh variable and Bindings is a list‘X = Var`, relating the‘X` terms with the variable it is mapped to.

F.2.58 library(yall)

//2	Shorthand for‘Free/[]>>Lambda`.
//3	Shorthand for‘Free/[]>>Lambda`.
//4	Shorthand for‘Free/[]>>Lambda`.
//5	Shorthand for‘Free/[]>>Lambda`.
//6	Shorthand for‘Free/[]>>Lambda`.
//7	Shorthand for‘Free/[]>>Lambda`.
//8	Shorthand for‘Free/[]>>Lambda`.
//9	Shorthand for‘Free/[]>>Lambda`.
>>/2	Calls a copy of Lambda.
>>/3	Calls a copy of Lambda.
>>/4	Calls a copy of Lambda.
>>/5	Calls a copy of Lambda.
>>/6	Calls a copy of Lambda.
>>/7	Calls a copy of Lambda.
>>/8	Calls a copy of Lambda.
>>/9	Calls a copy of Lambda.
is_lambda/1	True if Term is a valid Lambda expression.
lambda_calls/2	Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.
lambda_calls/3	Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.