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



\begin{summarylist}{ll}
\predicatesummary{assoc_to_keys}{2}{True if Keys is the list of keys in Assoc.}
\predicatesummary{assoc_to_list}{2}{Translate Assoc to a list Pairs of Key-Value pairs.}
\predicatesummary{assoc_to_values}{2}{True if Values is the list of values in Assoc.}
\predicatesummary{del_assoc}{4}{True if Key-Value is in Assoc0.}
\predicatesummary{del_max_assoc}{4}{True if Key-Value is in Assoc0 and Key is the greatest key.}
\predicatesummary{del_min_assoc}{4}{True if Key-Value is in Assoc0 and Key is the smallest key.}
\predicatesummary{empty_assoc}{1}{Is true if Assoc is the empty association list.}
\predicatesummary{gen_assoc}{3}{True if Key-Value is an association in Assoc.}
\predicatesummary{get_assoc}{3}{True if Key-Value is an association in Assoc.}
\predicatesummary{get_assoc}{5}{True if Key-Val0 is in Assoc0 and Key-Val is in Assoc.}
\predicatesummary{is_assoc}{1}{True if Assoc is an association list.}
\predicatesummary{list_to_assoc}{2}{Create an association from a list Pairs of Key-Value pairs.}
\predicatesummary{map_assoc}{2}{True if Pred(Value) is true for all values in Assoc.}
\predicatesummary{map_assoc}{3}{Map corresponding values.}
\predicatesummary{max_assoc}{3}{True if Key-Value is in Assoc and Key is the largest key.}
\predicatesummary{min_assoc}{3}{True if Key-Value is in assoc and Key is the smallest key.}
\predicatesummary{ord_list_to_assoc}{2}{Assoc is created from an ordered list Pairs of Key-Value pairs.}
\predicatesummary{put_assoc}{4}{Assoc is Assoc0, except that Key is associated with Value.}
\end{summarylist}