%
% True if Key-Value is an association in Assoc.
%
-% Throws error: type\_error(assoc, Assoc) if Assoc is not an association list.
+% Throws error: `type_error(assoc, Assoc)` if Assoc is not an association list.
get_assoc(Key, Assoc, Val) :-
must_be(assoc, Assoc),
% Create an association from a list Pairs of Key-Value pairs. List
% must not contain duplicate keys.
%
-% Throws error: domain\_error(unique\_key\_pairs, List) if List contains duplicate keys
+% Throws error: `domain_error(unique_key_pairs, List)` if List contains duplicate keys
list_to_assoc(List, Assoc) :-
( List = [] -> Assoc = t
% pairs. The pairs must occur in strictly ascending order of
% their keys.
%
-% Throws error: domain\_error(key\_ordered\_pairs, List) if pairs are not ordered.
+% Throws error: `domain_error(key_ordered_pairs, List)` if pairs are not ordered.
ord_list_to_assoc(Sorted, Assoc) :-
( Sorted = [] -> Assoc = t