% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\begin{summarylist}{ll}
\oppredsummary{\Sdiv}{2}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{3}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{4}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{5}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{6}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{7}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{8}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Sdiv}{9}{yfx}{400}{Shorthand for `Free/[]\Srshift{}Lambda`.}
\oppredsummary{\Srshift}{2}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{3}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{4}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{5}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{6}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{7}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{8}{yfx}{400}{Calls a copy of Lambda.}
\oppredsummary{\Srshift}{9}{yfx}{400}{Calls a copy of Lambda.}
\predicatesummary{is_lambda}{1}{True if Term is a valid Lambda expression.}
\predicatesummary{lambda_calls}{2}{Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.}
\predicatesummary{lambda_calls}{3}{Goal is the goal called if call/N is applied to LambdaExpression, where ExtraArgs are the additional arguments to call/N.}
\end{summarylist}