arc	graph.m	/^:- type arc(A)			==	int.$/;-;/arc/
arc_info	graph.m	/^:- type arc_info(N, A)	--->	arc_info(node(N), node(N), A).$/;-;/arc_info/
array	array.m	/^:- type array(T)	--->	array(int, int, map(int,T)).$/;-;/array/
array__bounds	array.m	/^:- pred array__bounds(array(_T), int, int).$/;-;/array__bounds/
array__fetch_items	array.m	/^:- pred array__fetch_items(array(T), int, int, list(T)).$/;-;/array__fetch_items/
array__from_list	array.m	/^:- pred array__from_list(list(T), array(T)).$/;-;/array__from_list/
array__init	array.m	/^:- pred array__init(int, int, T, array(T)).$/;-;/array__init/
array__init_2	array.m	/^:- pred array__init_2(int, int, T, map(int,T), map(int,T)).$/;-;/array__init_2/
array__insert_items	array.m	/^:- pred array__insert_items(array(T), int, list(T), array(T)).$/;-;/array__insert_items/
array__lookup	array.m	/^:- pred array__lookup(array(T), int, T).$/;-;/array__lookup/
array__resize	array.m	/^:- pred array__resize(array(T), int, int, array(T)).$/;-;/array__resize/
array__semidet_lookup	array.m	/^:- pred array__semidet_lookup(array(T), int, T).$/;-;/array__semidet_lookup/
array__set	array.m	/^:- pred array__set(array(T), int, T, array(T)).$/;-;/array__set/
array__to_list	array.m	/^:- pred array__to_list(array(T), list(T)).$/;-;/array__to_list/
assoc_list	std_util.m	/^:- type assoc_list(K,V)	==	list(pair(K,V)).$/;-;/assoc_list/
assoc_list__from_corresponding_lists	std_util.m	/^:- pred assoc_list__from_corresponding_lists(list(K), list(V),$/;-;/assoc_list__from_corresponding_lists/
assoc_list__from_corresponding_lists_2	std_util.m	/^:- pred assoc_list__from_corresponding_lists_2(list(K), list(V), $/;-;/assoc_list__from_corresponding_lists_2/
assoc_list__reverse_members	std_util.m	/^:- pred assoc_list__reverse_members(assoc_list(K, V), assoc_list(V, K)).$/;-;/assoc_list__reverse_members/
assoc_list_member	map.m	/^:- pred assoc_list_member(K, V, list(pair(K,V))).$/;-;/assoc_list_member/
assoc_unit	bintree_set.m	/^:- pred assoc_unit(list(T), assoc_list(T, unit)).$/;-;/assoc_unit/
bag	bag.m	/^:- type bag(T)		==	map(T, int).$/;-;/bag/
bag__contains	bag.m	/^:- pred bag__contains(T, bag(T)).$/;-;/bag__contains/
bag__init	bag.m	/^:- pred bag__init(bag(T)).$/;-;/bag__init/
bag__insert	bag.m	/^:- pred bag__insert(bag(T), T, bag(T)).$/;-;/bag__insert/
bag__remove	bag.m	/^:- pred bag__remove(bag(T), T, bag(T)).$/;-;/bag__remove/
bag__remove_all	bag.m	/^:- pred bag__remove_all(bag(T), T, bag(T)).$/;-;/bag__remove_all/
bag__to_list_without_duplicates	bag.m	/^:- pred bag__to_list_without_duplicates(bag(T), list(T)).$/;-;/bag__to_list_without_duplicates/
bimap	bimap.m	/^:- type bimap(K,V)	--->	bimap(map(K,V), map(V, K)).$/;-;/bimap/
bimap__coordinates	bimap.m	/^:- pred bimap__coordinates(bimap(_K, V), list(V)).$/;-;/bimap__coordinates/
bimap__delete	bimap.m	/^:- pred bimap__delete(bimap(K,V), K, V, bimap(K,V)).$/;-;/bimap__delete/
bimap__from_assoc_list	bimap.m	/^:- pred bimap__from_assoc_list(assoc_list(K,V), bimap(K,V)).$/;-;/bimap__from_assoc_list/
bimap__from_corresponding_lists	bimap.m	/^:- pred bimap__from_corresponding_lists(list(K), list(V), bimap(K, V)).$/;-;/bimap__from_corresponding_lists/
bimap__init	bimap.m	/^:- pred bimap__init(bimap(_,_)).$/;-;/bimap__init/
bimap__insert	bimap.m	/^:- pred bimap__insert(bimap(K,V), K, V, bimap(K,V)).$/;-;/bimap__insert/
bimap__is_empty	bimap.m	/^:- pred bimap__is_empty(bimap(_,_)).$/;-;/bimap__is_empty/
bimap__lookup	bimap.m	/^:- pred bimap__lookup(bimap(K,V), K, V).$/;-;/bimap__lookup/
bimap__ordinates	bimap.m	/^:- pred bimap__ordinates(bimap(K, _V), list(K)).$/;-;/bimap__ordinates/
bimap__reverse_lookup	bimap.m	/^:- pred bimap__reverse_lookup(bimap(K,V), K, V).$/;-;/bimap__reverse_lookup/
bimap__search	bimap.m	/^:- pred bimap__search(bimap(K,V), K, V).$/;-;/bimap__search/
bimap__set	bimap.m	/^:- pred bimap__set(bimap(K,V), K, V, bimap(K,V)).$/;-;/bimap__set/
bimap__to_assoc_list	bimap.m	/^:- pred bimap__to_assoc_list(bimap(K,V), assoc_list(K,V)).$/;-;/bimap__to_assoc_list/
bintree	bintree.m	/^:- type bintree(K,V)		--->	empty$/;-;/bintree/
bintree__balance	bintree.m	/^:- pred bintree__balance(bintree(K, V), bintree(K, V)).$/;-;/bintree__balance/
bintree__branching_factor	bintree.m	/^:- pred bintree__branching_factor(bintree(_K,_V), int, int).$/;-;/bintree__branching_factor/
bintree__count	bintree.m	/^:- pred bintree__count(bintree(_K,_V), int).$/;-;/bintree__count/
bintree__delete	bintree.m	/^:- pred bintree__delete(bintree(K,V), K, bintree(K,V)).$/;-;/bintree__delete/
bintree__depth	bintree.m	/^:- pred bintree__depth(bintree(_K,_V), int).$/;-;/bintree__depth/
bintree__fixup	bintree.m	/^:- pred bintree__fixup(bintree(K,V), bintree(K,V), bintree(K,V)).$/;-;/bintree__fixup/
bintree__from_corresponding_lists	bintree.m	/^:- pred bintree__from_corresponding_lists(list(K), list(V), bintree(K,V)).$/;-;/bintree__from_corresponding_lists/
bintree__from_corresponding_lists_2	bintree.m	/^:- pred bintree__from_corresponding_lists_2(list(K), list(V), bintree(K,V),$/;-;/bintree__from_corresponding_lists_2/
bintree__from_list	bintree.m	/^:- pred bintree__from_list(assoc_list(K,V), bintree(K,V)).$/;-;/bintree__from_list/
bintree__from_list_2	bintree.m	/^:- pred bintree__from_list_2(assoc_list(K,V), bintree(K,V), bintree(K,V)).$/;-;/bintree__from_list_2/
bintree__from_sorted_list	bintree.m	/^:- pred bintree__from_sorted_list(assoc_list(K,V), bintree(K,V)).$/;-;/bintree__from_sorted_list/
bintree__from_sorted_list_2	bintree.m	/^:- pred bintree__from_sorted_list_2(int, assoc_list(K,V),$/;-;/bintree__from_sorted_list_2/
bintree__init	bintree.m	/^:- pred bintree__init(bintree(K,V)).$/;-;/bintree__init/
bintree__insert	bintree.m	/^:- pred bintree__insert(bintree(K,V), K, V, bintree(K,V)).$/;-;/bintree__insert/
bintree__keys	bintree.m	/^:- pred bintree__keys(bintree(K,_V), list(K)).$/;-;/bintree__keys/
bintree__keys_2	bintree.m	/^:- pred bintree__keys_2(bintree(K, _V), list(K), list(K)).$/;-;/bintree__keys_2/
bintree__knock_left	bintree.m	/^:- pred bintree__knock_left(bintree(K,V), K, V, bintree(K, V)).$/;-;/bintree__knock_left/
bintree__knock_right	bintree.m	/^:- pred bintree__knock_right(bintree(K,V), K, V, bintree(K, V)).$/;-;/bintree__knock_right/
bintree__left_depth	bintree.m	/^:- pred bintree__left_depth(bintree(_K,_V), int).$/;-;/bintree__left_depth/
bintree__remove	bintree.m	/^:- pred bintree__remove(bintree(K,V), K, V, bintree(K,V)).$/;-;/bintree__remove/
bintree__right_depth	bintree.m	/^:- pred bintree__right_depth(bintree(_K,_V), int).$/;-;/bintree__right_depth/
bintree__search	bintree.m	/^:- pred bintree__search(bintree(K,V), K, V).$/;-;/bintree__search/
bintree__set	bintree.m	/^:- pred bintree__set(bintree(K,V), K, V, bintree(K,V)).$/;-;/bintree__set/
bintree__to_list	bintree.m	/^:- pred bintree__to_list(bintree(K,V), assoc_list(K,V)).$/;-;/bintree__to_list/
bintree__to_list_2	bintree.m	/^:- pred bintree__to_list_2(bintree(K,V), assoc_list(K,V), assoc_list(K,V)).$/;-;/bintree__to_list_2/
bintree__update	bintree.m	/^:- pred bintree__update(bintree(K,V), K, V, bintree(K,V)).$/;-;/bintree__update/
bintree__values	bintree.m	/^:- pred bintree__values(bintree(_K,V), list(V)).$/;-;/bintree__values/
bintree__values_2	bintree.m	/^:- pred bintree__values_2(bintree(_K, V), list(V), list(V)).$/;-;/bintree__values_2/
bintree_set	bintree_set.m	/^:- type bintree_set(T)          ==      bintree(T, unit).$/;-;/bintree_set/
bintree_set__contains_list	bintree_set.m	/^:- pred bintree_set__contains_list(list(T), bintree_set(T)).$/;-;/bintree_set__contains_list/
bintree_set__delete	bintree_set.m	/^:- pred bintree_set__delete(bintree_set(T), T, bintree_set(T)).$/;-;/bintree_set__delete/
bintree_set__delete_list	bintree_set.m	/^:- pred bintree_set__delete_list(bintree_set(T), list(T), bintree_set(T)).$/;-;/bintree_set__delete_list/
bintree_set__equal	bintree_set.m	/^:- pred bintree_set__equal(bintree_set(T), bintree_set(T)).$/;-;/bintree_set__equal/
bintree_set__init	bintree_set.m	/^:- pred bintree_set__init(bintree_set(_T)).$/;-;/bintree_set__init/
bintree_set__insert	bintree_set.m	/^:- pred bintree_set__insert(bintree_set(T), T, bintree_set(T)).$/;-;/bintree_set__insert/
bintree_set__insert_list	bintree_set.m	/^:- pred bintree_set__insert_list(bintree_set(T), list(T), bintree_set(T)).$/;-;/bintree_set__insert_list/
bintree_set__intersect	bintree_set.m	/^:- pred bintree_set__intersect(bintree_set(T), bintree_set(T), bintree_set(T)).$/;-;/bintree_set__intersect/
bintree_set__is_member	bintree_set.m	/^:- pred bintree_set__is_member(T, bintree_set(T)).$/;-;/bintree_set__is_member/
bintree_set__list_to_set	bintree_set.m	/^:- pred bintree_set__list_to_set(list(T), bintree_set(T)).$/;-;/bintree_set__list_to_set/
bintree_set__member	bintree_set.m	/^:- pred bintree_set__member(T, bintree_set(T)).$/;-;/bintree_set__member/
bintree_set__remove	bintree_set.m	/^:- pred bintree_set__remove(bintree_set(T), T, bintree_set(T)).$/;-;/bintree_set__remove/
bintree_set__remove_list	bintree_set.m	/^:- pred bintree_set__remove_list(bintree_set(T), list(T), bintree_set(T)).$/;-;/bintree_set__remove_list/
bintree_set__singleton_set	bintree_set.m	/^:- pred bintree_set__singleton_set(bintree_set(T), T).$/;-;/bintree_set__singleton_set/
bintree_set__sorted_list_to_set	bintree_set.m	/^:- pred bintree_set__sorted_list_to_set(list(T), bintree_set(T)).$/;-;/bintree_set__sorted_list_to_set/
bintree_set__subset	bintree_set.m	/^:- pred bintree_set__subset(bintree_set(T), bintree_set(T)).$/;-;/bintree_set__subset/
bintree_set__superset	bintree_set.m	/^:- pred bintree_set__superset(bintree_set(T), bintree_set(T)).$/;-;/bintree_set__superset/
bintree_set__to_sorted_list	bintree_set.m	/^:- pred bintree_set__to_sorted_list(bintree_set(T), list(T)).$/;-;/bintree_set__to_sorted_list/
bintree_set__union	bintree_set.m	/^:- pred bintree_set__union(bintree_set(T), bintree_set(T), bintree_set(T)).$/;-;/bintree_set__union/
bit_rev	term.m	/^:- pred bit_rev(int::in, int::out) is semidet.$/;-;/bit_rev/
bit_rev_octet	term.m	/^:- pred bit_rev_octet(int::in, int::out) is det.$/;-;/bit_rev_octet/
bit_reverse	term.m	/^:- pred bit_reverse(int::in, int::out) is det.$/;-;/bit_reverse/
bool	std_util.m	/^:- type bool ---> yes ; no.$/;-;/bool/
bool__and	std_util.m	/^:- pred bool__and(bool, bool, bool).$/;-;/bool__and/
bool__and_list	std_util.m	/^:- pred bool__and_list(list(bool), bool).$/;-;/bool__and_list/
bool__not	std_util.m	/^:- pred bool__not(bool, bool).$/;-;/bool__not/
bool__or	std_util.m	/^:- pred bool__or(bool, bool, bool).$/;-;/bool__or/
bool__or_list	std_util.m	/^:- pred bool__or_list(list(bool), bool).$/;-;/bool__or_list/
builtin_bit_and	int.m	/^:- pred builtin_bit_and(int, int, int).$/;-;/builtin_bit_and/
builtin_bit_neg	int.m	/^:- pred builtin_bit_neg(int, int).$/;-;/builtin_bit_neg/
builtin_bit_or	int.m	/^:- pred builtin_bit_or(int, int, int).$/;-;/builtin_bit_or/
builtin_bit_xor	int.m	/^:- pred builtin_bit_xor(int, int, int).$/;-;/builtin_bit_xor/
builtin_compare_float	mercury_builtin.m	/^:- pred builtin_compare_float(comparison_result::out, float::in, float::in)$/;-;/builtin_compare_float/
builtin_compare_int	mercury_builtin.m	/^:- pred builtin_compare_int(comparison_result::out, int::in, int::in) is det.$/;-;/builtin_compare_int/
builtin_compare_pred	mercury_builtin.m	/^:- pred builtin_compare_pred(comparison_result::out, (pred)::in, (pred)::in)$/;-;/builtin_compare_pred/
builtin_compare_string	mercury_builtin.m	/^:- pred builtin_compare_string(comparison_result::out, string::in, string::in)$/;-;/builtin_compare_string/
builtin_div	int.m	/^:- pred builtin_div(int, int, int).$/;-;/builtin_div/
builtin_float_divide	float.m	/^:- pred builtin_float_divide(float, float, float).$/;-;/builtin_float_divide/
builtin_float_ge	float.m	/^:- pred builtin_float_ge(float, float).$/;-;/builtin_float_ge/
builtin_float_gt	float.m	/^:- pred builtin_float_gt(float, float).$/;-;/builtin_float_gt/
builtin_float_le	float.m	/^:- pred builtin_float_le(float, float).$/;-;/builtin_float_le/
builtin_float_lt	float.m	/^:- pred builtin_float_lt(float, float).$/;-;/builtin_float_lt/
builtin_float_minus	float.m	/^:- pred builtin_float_minus(float, float, float).$/;-;/builtin_float_minus/
builtin_float_plus	float.m	/^:- pred builtin_float_plus(float, float, float).$/;-;/builtin_float_plus/
builtin_float_times	float.m	/^:- pred builtin_float_times(float, float, float).$/;-;/builtin_float_times/
builtin_index_float	mercury_builtin.m	/^:- pred builtin_index_float(float::in, int::out) is det.$/;-;/builtin_index_float/
builtin_index_int	mercury_builtin.m	/^:- pred builtin_index_int(int::in, int::out) is det.$/;-;/builtin_index_int/
builtin_index_pred	mercury_builtin.m	/^:- pred builtin_index_pred((pred)::in, int::out) is det.$/;-;/builtin_index_pred/
builtin_index_string	mercury_builtin.m	/^:- pred builtin_index_string(string::in, int::out) is det.$/;-;/builtin_index_string/
builtin_left_shift	int.m	/^:- pred builtin_left_shift(int, int, int).$/;-;/builtin_left_shift/
builtin_minus	int.m	/^:- pred builtin_minus(int, int, int).$/;-;/builtin_minus/
builtin_mod	int.m	/^:- pred builtin_mod(int, int, int).$/;-;/builtin_mod/
builtin_plus	int.m	/^:- pred builtin_plus(int, int, int).$/;-;/builtin_plus/
builtin_right_shift	int.m	/^:- pred builtin_right_shift(int, int, int).$/;-;/builtin_right_shift/
builtin_solutions	std_util.m	/^:- pred builtin_solutions(pred(T), set(T)).$/;-;/builtin_solutions/
builtin_strcmp	mercury_builtin.m	/^:- pred builtin_strcmp(int, string, string).$/;-;/builtin_strcmp/
builtin_times	int.m	/^:- pred builtin_times(int, int, int).$/;-;/builtin_times/
builtin_unify_float	mercury_builtin.m	/^:- pred builtin_unify_float(float::in, float::in) is semidet.$/;-;/builtin_unify_float/
builtin_unify_int	mercury_builtin.m	/^:- pred builtin_unify_int(int::in, int::in) is semidet.$/;-;/builtin_unify_int/
builtin_unify_pred	mercury_builtin.m	/^:- pred builtin_unify_pred((pred)::in, (pred)::in) is semidet.$/;-;/builtin_unify_pred/
builtin_unify_string	mercury_builtin.m	/^:- pred builtin_unify_string(string::in, string::in) is semidet.$/;-;/builtin_unify_string/
call	mercury_builtin.m	/^:- pred call(pred).$/;-;/call/
char	char.m	/^:- type char == character.$/;-;/char/
char__is_alnum	char.m	/^:- pred char__is_alnum(char).$/;-;/char__is_alnum/
char__is_alnum_or_underscore	char.m	/^:- pred char__is_alnum_or_underscore(char).$/;-;/char__is_alnum_or_underscore/
char__is_alpha	char.m	/^:- pred char__is_alpha(char).$/;-;/char__is_alpha/
char__is_alpha_or_underscore	char.m	/^:- pred char__is_alpha_or_underscore(char).$/;-;/char__is_alpha_or_underscore/
char__is_binary_digit	char.m	/^:- pred char__is_binary_digit(char).$/;-;/char__is_binary_digit/
char__is_digit	char.m	/^:- pred char__is_digit(char).$/;-;/char__is_digit/
char__is_hex_digit	char.m	/^:- pred char__is_hex_digit(char).$/;-;/char__is_hex_digit/
char__is_lower	char.m	/^:- pred char__is_lower(char).$/;-;/char__is_lower/
char__is_octal_digit	char.m	/^:- pred char__is_octal_digit(char).$/;-;/char__is_octal_digit/
char__is_upper	char.m	/^:- pred char__is_upper(char).$/;-;/char__is_upper/
char__is_whitespace	char.m	/^:- pred char__is_whitespace(char).$/;-;/char__is_whitespace/
char__lower_upper	char.m	/^:- pred char__lower_upper(char, char).$/;-;/char__lower_upper/
char__to_lower	char.m	/^:- pred char__to_lower(char, char).$/;-;/char__to_lower/
char__to_upper	char.m	/^:- pred char__to_upper(char, char).$/;-;/char__to_upper/
char_to_int	char.m	/^:- pred char_to_int(char, int).$/;-;/char_to_int/
compare	mercury_builtin.m	/^:- pred compare(comparison_result::out, T::in, T::in) is det.$/;-;/compare/
compare_error	mercury_builtin.m	/^:- pred compare_error is erroneous.$/;-;/compare_error/
comparison	term.m	/^:- type comparison	--->	(>)$/;-;/comparison/
comparison_result	mercury_builtin.m	/^:- type comparison_result ---> (=) ; (<) ; (>).$/;-;/comparison_result/
complicated_mode	std_util.m	/^:- mode complicated_mode :: input.$/;-;/complicated_mode/
const	term.m	/^:- type const 		--->	term__atom(string)$/;-;/const/
det_pred	mercury_builtin.m	/^:- mode det_pred :: output.$/;-;/det_pred/
di	mercury_builtin.m	/^:- mode di :: input.$/;-;/di/
dir__basename	dir.m	/^:- pred dir__basename(string::in, string::out) is det.$/;-;/dir__basename/
dir__directory_separator	dir.m	/^:- pred dir__directory_separator(character).$/;-;/dir__directory_separator/
dir__dirname	dir.m	/^:- pred dir__dirname(string::in, string::out) is det.$/;-;/dir__dirname/
dir__split_name	dir.m	/^:- pred dir__split_name(string::in, string::out, string::out) is det.$/;-;/dir__split_name/
dir__split_name_2	dir.m	/^:- pred dir__split_name_2(string::in, int::in, string::out, string::out) is det.$/;-;/dir__split_name_2/
dir__this_directory	dir.m	/^:- pred dir__this_directory(string).$/;-;/dir__this_directory/
edge	graph.m	/^:- type edge(N, A)	--->	edge(arc(A), node(N)).$/;-;/edge/
error	require.m	/^:- pred error(string).$/;-;/error/
gc_call	std_util.m	/^:- pred gc_call(pred).$/;-;/gc_call/
graph	graph.m	/^:- type graph(N, A)	--->$/;-;/graph/
graph__arc_supply	graph.m	/^:- type graph__arc_supply	==	int.$/;-;/graph__arc_supply/
graph__find_node	graph.m	/^:- pred graph__find_node(graph(N, A), N, node(N)).$/;-;/graph__find_node/
graph__find_node_2	graph.m	/^:- pred graph__find_node_2(assoc_list(T,U), U, T).$/;-;/graph__find_node_2/
graph__get_arc_supply	graph.m	/^:- pred graph__get_arc_supply(graph(N, A), graph__arc_supply).$/;-;/graph__get_arc_supply/
graph__get_arcs	graph.m	/^:- pred graph__get_arcs(graph(N, A), map(arc(A), arc_info(N, A))).$/;-;/graph__get_arcs/
graph__get_edges	graph.m	/^:- pred graph__get_edges(graph(N, A), map(node(N), set(edge(N, A)))).$/;-;/graph__get_edges/
graph__get_node_supply	graph.m	/^:- pred graph__get_node_supply(graph(N, A), graph__node_supply).$/;-;/graph__get_node_supply/
graph__get_nodes	graph.m	/^:- pred graph__get_nodes(graph(N, A), map(node(N), N)).$/;-;/graph__get_nodes/
graph__init	graph.m	/^:- pred graph__init(graph(N, A)).$/;-;/graph__init/
graph__insert_edge	graph.m	/^:- pred graph__insert_edge(graph(N, A), node(N), node(N), A,$/;-;/graph__insert_edge/
graph__insert_node	graph.m	/^:- pred graph__insert_node(graph(N, A), N, node(N), graph(N, A)).$/;-;/graph__insert_node/
graph__lookup_node	graph.m	/^:- pred graph__lookup_node(graph(N, A), node(N), N).$/;-;/graph__lookup_node/
graph__node_supply	graph.m	/^:- type graph__node_supply	==	int.$/;-;/graph__node_supply/
graph__nodes	graph.m	/^:- pred graph__nodes(graph(N, A), set(node(N))).$/;-;/graph__nodes/
graph__path	graph.m	/^:- pred graph__path(graph(N, A), node(N), node(N)).$/;-;/graph__path/
graph__set_arc_supply	graph.m	/^:- pred graph__set_arc_supply(graph(N, A), graph__arc_supply, graph(N, A)).$/;-;/graph__set_arc_supply/
graph__set_arcs	graph.m	/^:- pred graph__set_arcs(graph(N, A), map(arc(A), arc_info(N, A)), graph(N, A)).$/;-;/graph__set_arcs/
graph__set_edges	graph.m	/^:- pred graph__set_edges(graph(N, A), map(node(N), set(edge(N, A))), graph(N, A)).$/;-;/graph__set_edges/
graph__set_node_supply	graph.m	/^:- pred graph__set_node_supply(graph(N, A), graph__node_supply, graph(N, A)).$/;-;/graph__set_node_supply/
graph__set_nodes	graph.m	/^:- pred graph__set_nodes(graph(N, A), map(node(N), N), graph(N, A)).$/;-;/graph__set_nodes/
graph__successors	graph.m	/^:- pred graph__successors(graph(N, A), node(N), set(node(N))).$/;-;/graph__successors/
graph__successors_2	graph.m	/^:- pred graph__successors_2(list(edge(T,U)), list(node(T))).$/;-;/graph__successors_2/
group	group.m	/^:- type group(T)	--->$/;-;/group/
group__get_elements	group.m	/^:- pred group__get_elements(group(T), map(T, group__key)).$/;-;/group__get_elements/
group__get_group_count	group.m	/^:- pred group__get_group_count(group(T), int).$/;-;/group__get_group_count/
group__get_sets	group.m	/^:- pred group__get_sets(group(T), map(group__key, set(T))).$/;-;/group__get_sets/
group__group	group.m	/^:- pred group__group(group(T), T, set(T)).$/;-;/group__group/
group__group_key	group.m	/^:- pred group__group_key(group(T), T, group__key).$/;-;/group__group_key/
group__group_keys	group.m	/^:- pred group__group_keys(group(T), list(group__key)).$/;-;/group__group_keys/
group__init	group.m	/^:- pred group__init(group(T)).$/;-;/group__init/
group__insert	group.m	/^:- pred group__insert(group(T), set(T), group(T)).$/;-;/group__insert/
group__insert_elements	group.m	/^:- pred group__insert_elements(list(T), group__key,$/;-;/group__insert_elements/
group__key	group.m	/^:- type group__key	==	int.$/;-;/group__key/
group__key_group	group.m	/^:- pred group__key_group(group(T), group__key, set(T)).$/;-;/group__key_group/
group__largest_group_key	group.m	/^:- pred group__largest_group_key(group(T), group__key).$/;-;/group__largest_group_key/
group__largest_group_key_2	group.m	/^:- pred group__largest_group_key_2(assoc_list(group__key, set(T)), int,$/;-;/group__largest_group_key_2/
group__remove_elements	group.m	/^:- pred group__remove_elements(list(T), map(T, group__key), map(T, group__key)).$/;-;/group__remove_elements/
group__remove_group	group.m	/^:- pred group__remove_group(group(T), group__key, set(T), group(T)).$/;-;/group__remove_group/
group__same_group	group.m	/^:- pred group__same_group(group(T), T, T).$/;-;/group__same_group/
group__set_elements	group.m	/^:- pred group__set_elements(group(T), map(T, group__key), group(T)).$/;-;/group__set_elements/
group__set_group_count	group.m	/^:- pred group__set_group_count(group(T), int, group(T)).$/;-;/group__set_group_count/
group__set_sets	group.m	/^:- pred group__set_sets(group(T), map(group__key, set(T)), group(T)).$/;-;/group__set_sets/
group__sets_and_keys	group.m	/^:- pred group__sets_and_keys(group(T), assoc_list(set(T), group__key)).$/;-;/group__sets_and_keys/
group__to_set	group.m	/^:- pred group__to_set(group(T), set(set(T))).$/;-;/group__to_set/
in	mercury_builtin.m	/^:- mode in :: (ground -> ground).$/;-;/in/
index	mercury_builtin.m	/^:- pred index(T::in, int::out) is det.$/;-;/index/
input	mercury_builtin.m	/^:- mode input :: (ground -> ground).$/;-;/input/
input_list_skel	list.m	/^:- mode input_list_skel :: list_skel -> list_skel.$/;-;/input_list_skel/
int__abs	int.m	/^:- pred int__abs(int, int).$/;-;/int__abs/
int__expr_2	int.m	/^:- type int__expr_2	--->	(int__expr + int__expr)$/;-;/int__expr_2/
int__log2	int.m	/^:- pred int__log2(int, int).$/;-;/int__log2/
int__log2_2	int.m	/^:- pred int__log2_2(int, int, int).$/;-;/int__log2_2/
int__max	int.m	/^:- pred int__max(int, int, int).$/;-;/int__max/
int__min	int.m	/^:- pred int__min(int, int, int).$/;-;/int__min/
int__pow	int.m	/^:- pred int__pow(int, int, int).$/;-;/int__pow/
int__pow_2	int.m	/^:- pred int__pow_2(int, int, int, int).$/;-;/int__pow_2/
int__simple_expr	int.m	/^:- type int__simple_expr --->	(int + int)$/;-;/int__simple_expr/
int__to_float	int.m	/^:- pred int__to_float(int, float) is det.$/;-;/int__to_float/
io__call_system	io.m	/^:- pred io__call_system(string, io__res(int), io__state, io__state).$/;-;/io__call_system/
io__call_system_code	io.m	/^:- pred io__call_system_code(string, int, io__state, io__state).$/;-;/io__call_system_code/
io__close_input	io.m	/^:- pred io__close_input(io__input_stream, io__state, io__state).$/;-;/io__close_input/
io__close_output	io.m	/^:- pred io__close_output(io__output_stream, io__state, io__state).$/;-;/io__close_output/
io__command_line_arguments	io.m	/^:- pred io__command_line_arguments(list(string), io__state, io__state).$/;-;/io__command_line_arguments/
io__delete_stream_name	io.m	/^:- pred io__delete_stream_name(io__stream, io__state, io__state).$/;-;/io__delete_stream_name/
io__do_open_append	io.m	/^:- pred io__do_open_append(string, int, io__output_stream, io__state,$/;-;/io__do_open_append/
io__do_open_input	io.m	/^:- pred io__do_open_input(string, int, io__input_stream, io__state, io__state).$/;-;/io__do_open_input/
io__do_open_output	io.m	/^:- pred io__do_open_output(string, int, io__output_stream, io__state,$/;-;/io__do_open_output/
io__error	io.m	/^:- type io__error	==	string.		% This is subject to change.$/;-;/io__error/
io__error_message	io.m	/^:- pred io__error_message(io__error, string).$/;-;/io__error_message/
io__flush_output	io.m	/^:- pred io__flush_output(io__state, io__state).$/;-;/io__flush_output/
io__gc_call	io.m	/^:- pred io__gc_call(pred(io__state, io__state), io__state, io__state).$/;-;/io__gc_call/
io__get_exit_status	io.m	/^:- pred io__get_exit_status(int, io__state, io__state).$/;-;/io__get_exit_status/
io__get_globals	io.m	/^:- pred io__get_globals(univ, io__state, io__state).$/;-;/io__get_globals/
io__get_line_number	io.m	/^:- pred io__get_line_number(int, io__state, io__state).$/;-;/io__get_line_number/
io__get_op_table	io.m	/^:- pred io__get_op_table(ops__table, io__state, io__state).$/;-;/io__get_op_table/
io__ignore_whitespace	io.m	/^:- pred io__ignore_whitespace(io__res, io__state, io__state).$/;-;/io__ignore_whitespace/
io__init_state	io.m	/^:- pred io__init_state(io__external_state, io__state).$/;-;/io__init_state/
io__input_stream	io.m	/^:- pred io__input_stream(io__input_stream, io__state, io__state).$/;-;/io__input_stream/
io__input_stream_name	io.m	/^:- pred io__input_stream_name(string, io__state, io__state).$/;-;/io__input_stream_name/
io__insert_std_stream_names	io.m	/^:- pred io__insert_std_stream_names(io__state, io__state).$/;-;/io__insert_std_stream_names/
io__insert_stream_name	io.m	/^:- pred io__insert_stream_name(io__stream, string, io__state, io__state).$/;-;/io__insert_stream_name/
io__open_append	io.m	/^:- pred io__open_append(string, io__res(io__output_stream),$/;-;/io__open_append/
io__open_input	io.m	/^:- pred io__open_input(string, io__res(io__input_stream), io__state, io__state).$/;-;/io__open_input/
io__open_output	io.m	/^:- pred io__open_output(string, io__res(io__output_stream),$/;-;/io__open_output/
io__output_stream	io.m	/^:- pred io__output_stream(io__output_stream, io__state, io__state).$/;-;/io__output_stream/
io__output_stream_name	io.m	/^:- pred io__output_stream_name(string, io__state, io__state).$/;-;/io__output_stream_name/
io__poly_type	io.m	/^:- type io__poly_type	--->$/;-;/io__poly_type/
io__preallocate_heap_space	io.m	/^:- pred io__preallocate_heap_space(int, io__state, io__state).$/;-;/io__preallocate_heap_space/
io__progname	io.m	/^:- pred io__progname(string, string, io__state, io__state).$/;-;/io__progname/
io__progname_base	io.m	/^:- pred io__progname_base(string, string, io__state, io__state).$/;-;/io__progname_base/
io__putback_char	io.m	/^:- pred io__putback_char(char, io__state, io__state).$/;-;/io__putback_char/
io__read_anything	io.m	/^:- pred io__read_anything(io__res(_T), io__state, io__state).$/;-;/io__read_anything/
io__read_char	io.m	/^:- pred io__read_char(io__result(char), io__state, io__state).$/;-;/io__read_char/
io__read_char_code	io.m	/^:- pred io__read_char_code(io__input_stream, int, io__state, io__state).$/;-;/io__read_char_code/
io__read_line	io.m	/^:- pred io__read_line(io__result(list(char)), io__state, io__state).$/;-;/io__read_line/
io__read_word	io.m	/^:- pred io__read_word(io__result(list(char)), io__state, io__state).$/;-;/io__read_word/
io__read_word_2	io.m	/^:- pred io__read_word_2(io__input_stream, io__result(list(char)),$/;-;/io__read_word_2/
io__report_stats	io.m	/^:- pred io__report_stats(io__state, io__state).$/;-;/io__report_stats/
io__res	io.m	/^:- type io__res		--->	ok$/;-;/io__res/
io__result	io.m	/^:- type io__result(T)	--->	ok(T)$/;-;/io__result/
io__see	io.m	/^:- pred io__see(string, io__res, io__state, io__state).$/;-;/io__see/
io__seen	io.m	/^:- pred io__seen(io__state, io__state).$/;-;/io__seen/
io__set_exit_status	io.m	/^:- pred io__set_exit_status(int, io__state, io__state).$/;-;/io__set_exit_status/
io__set_globals	io.m	/^:- pred io__set_globals(univ, io__state, io__state).$/;-;/io__set_globals/
io__set_input_stream	io.m	/^:- pred io__set_input_stream(io__input_stream, io__input_stream,$/;-;/io__set_input_stream/
io__set_op_table	io.m	/^:- pred io__set_op_table(ops__table, io__state, io__state).$/;-;/io__set_op_table/
io__set_output_stream	io.m	/^:- pred io__set_output_stream(io__output_stream, io__output_stream,$/;-;/io__set_output_stream/
io__state	io.m	/^:- type io__state$/;-;/io__state/
io__stderr_stream	io.m	/^:- pred io__stderr_stream(io__output_stream, io__state, io__state).$/;-;/io__stderr_stream/
io__stdin_stream	io.m	/^:- pred io__stdin_stream(io__input_stream, io__state, io__state).$/;-;/io__stdin_stream/
io__stdout_stream	io.m	/^:- pred io__stdout_stream(io__output_stream, io__state, io__state).$/;-;/io__stdout_stream/
io__stream_name	io.m	/^:- pred io__stream_name(io__stream, string, io__state, io__state).$/;-;/io__stream_name/
io__stream_names	io.m	/^:- type io__stream_names ==	map(io__stream, string).$/;-;/io__stream_names/
io__stream_putback	io.m	/^:- type io__stream_putback ==	map(io__stream, list(char)).$/;-;/io__stream_putback/
io__tell	io.m	/^:- pred io__tell(string, io__res, io__state, io__state).$/;-;/io__tell/
io__told	io.m	/^:- pred io__told(io__state, io__state).$/;-;/io__told/
io__write_anything	io.m	/^:- pred io__write_anything(_T, io__state, io__state).$/;-;/io__write_anything/
io__write_char	io.m	/^:- pred io__write_char(char, io__state, io__state).$/;-;/io__write_char/
io__write_float	io.m	/^:- pred io__write_float(float, io__state, io__state).$/;-;/io__write_float/
io__write_int	io.m	/^:- pred io__write_int(int, io__state, io__state).$/;-;/io__write_int/
io__write_many	io.m	/^:- pred io__write_many(list(io__poly_type), io__state, io__state).$/;-;/io__write_many/
io__write_string	io.m	/^:- pred io__write_string(string, io__state, io__state).$/;-;/io__write_string/
io__write_strings	io.m	/^:- pred io__write_strings(list(string), io__state, io__state).$/;-;/io__write_strings/
is	int.m	/^:- pred is(int :: out, int__expr :: (in)) is det.$/;-;/is/
is_mercury_punctuation_char	term_io.m	/^:- pred is_mercury_punctuation_char(character).$/;-;/is_mercury_punctuation_char/
is_mercury_source_char	term_io.m	/^:- pred is_mercury_source_char(character).$/;-;/is_mercury_source_char/
left_shift_octet	term.m	/^:- pred left_shift_octet(int::in, int::in, int::out) is det.$/;-;/left_shift_octet/
lexer__escape_char	lexer.m	/^:- pred lexer__escape_char(character, character).$/;-;/lexer__escape_char/
lexer__finish_hex_escape	lexer.m	/^:- pred lexer__finish_hex_escape(character, list(character), list(character),$/;-;/lexer__finish_hex_escape/
lexer__finish_octal_escape	lexer.m	/^:- pred lexer__finish_octal_escape(character, list(character), list(character),$/;-;/lexer__finish_octal_escape/
lexer__finish_quoted_name	lexer.m	/^:- pred lexer__finish_quoted_name(character, list(character), token).$/;-;/lexer__finish_quoted_name/
lexer__get_binary	lexer.m	/^:- pred lexer__get_binary(token, io__state, io__state).$/;-;/lexer__get_binary/
lexer__get_binary_2	lexer.m	/^:- pred lexer__get_binary_2(list(character), token, io__state, io__state).$/;-;/lexer__get_binary_2/
lexer__get_char_code	lexer.m	/^:- pred lexer__get_char_code(token, io__state, io__state).$/;-;/lexer__get_char_code/
lexer__get_comment	lexer.m	/^:- pred lexer__get_comment(token, io__state, io__state).$/;-;/lexer__get_comment/
lexer__get_comment_2	lexer.m	/^:- pred lexer__get_comment_2(token, io__state, io__state).$/;-;/lexer__get_comment_2/
lexer__get_context	lexer.m	/^:- pred lexer__get_context(token_context, io__state, io__state).$/;-;/lexer__get_context/
lexer__get_dot	lexer.m	/^:- pred lexer__get_dot(token, io__state, io__state).$/;-;/lexer__get_dot/
lexer__get_float_decimals	lexer.m	/^:- pred lexer__get_float_decimals(list(character), token, io__state, io__state).$/;-;/lexer__get_float_decimals/
lexer__get_float_exponent	lexer.m	/^:- pred lexer__get_float_exponent(list(character), token, io__state, io__state).$/;-;/lexer__get_float_exponent/
lexer__get_float_exponent_2	lexer.m	/^:- pred lexer__get_float_exponent_2(list(character), token,$/;-;/lexer__get_float_exponent_2/
lexer__get_float_exponent_3	lexer.m	/^:- pred lexer__get_float_exponent_3(list(character), token,$/;-;/lexer__get_float_exponent_3/
lexer__get_graphic	lexer.m	/^:- pred lexer__get_graphic(list(character), token, io__state, io__state).$/;-;/lexer__get_graphic/
lexer__get_hex	lexer.m	/^:- pred lexer__get_hex(token, io__state, io__state).$/;-;/lexer__get_hex/
lexer__get_hex_2	lexer.m	/^:- pred lexer__get_hex_2(list(character), token, io__state, io__state).$/;-;/lexer__get_hex_2/
lexer__get_hex_escape	lexer.m	/^:- pred lexer__get_hex_escape(character, list(character), list(character),$/;-;/lexer__get_hex_escape/
lexer__get_int_dot	lexer.m	/^:- pred lexer__get_int_dot(list(character), token, io__state, io__state).$/;-;/lexer__get_int_dot/
lexer__get_name	lexer.m	/^:- pred lexer__get_name(list(character), token, io__state, io__state).$/;-;/lexer__get_name/
lexer__get_number	lexer.m	/^:- pred lexer__get_number(list(character), token, io__state, io__state).$/;-;/lexer__get_number/
lexer__get_octal	lexer.m	/^:- pred lexer__get_octal(token, io__state, io__state).$/;-;/lexer__get_octal/
lexer__get_octal_2	lexer.m	/^:- pred lexer__get_octal_2(list(character), token, io__state, io__state).$/;-;/lexer__get_octal_2/
lexer__get_octal_escape	lexer.m	/^:- pred lexer__get_octal_escape(character, list(character), list(character),$/;-;/lexer__get_octal_escape/
lexer__get_quoted_name	lexer.m	/^:- pred lexer__get_quoted_name(character, list(character), token,$/;-;/lexer__get_quoted_name/
lexer__get_quoted_name_escape	lexer.m	/^:- pred lexer__get_quoted_name_escape(character, list(character), token,$/;-;/lexer__get_quoted_name_escape/
lexer__get_quoted_name_quote	lexer.m	/^:- pred lexer__get_quoted_name_quote(character, list(character), token,$/;-;/lexer__get_quoted_name_quote/
lexer__get_slash	lexer.m	/^:- pred lexer__get_slash(token, io__state, io__state).$/;-;/lexer__get_slash/
lexer__get_token	lexer.m	/^:- pred lexer__get_token(token, token_context, io__state, io__state).$/;-;/lexer__get_token/
lexer__get_token_1	lexer.m	/^:- pred lexer__get_token_1(token, io__state, io__state).$/;-;/lexer__get_token_1/
lexer__get_token_2	lexer.m	/^:- pred lexer__get_token_2(token, io__state, io__state).$/;-;/lexer__get_token_2/
lexer__get_token_list	lexer.m	/^:- pred lexer__get_token_list(token_list, io__state, io__state).$/;-;/lexer__get_token_list/
lexer__get_variable	lexer.m	/^:- pred lexer__get_variable(list(character), token, io__state, io__state).$/;-;/lexer__get_variable/
lexer__get_zero	lexer.m	/^:- pred lexer__get_zero(token, io__state, io__state).$/;-;/lexer__get_zero/
lexer__graphic_token_char	lexer.m	/^:- pred lexer__graphic_token_char(character).$/;-;/lexer__graphic_token_char/
lexer__rev_char_list_to_float	lexer.m	/^:- pred lexer__rev_char_list_to_float(list(character), token).$/;-;/lexer__rev_char_list_to_float/
lexer__rev_char_list_to_int	lexer.m	/^:- pred lexer__rev_char_list_to_int(list(character), int, token).$/;-;/lexer__rev_char_list_to_int/
lexer__rev_char_list_to_string	lexer.m	/^:- pred lexer__rev_char_list_to_string(list(character), string).$/;-;/lexer__rev_char_list_to_string/
lexer__skip_to_eol	lexer.m	/^:- pred lexer__skip_to_eol(token, io__state, io__state).$/;-;/lexer__skip_to_eol/
lexer__special_token	lexer.m	/^:- pred lexer__special_token(character, token).$/;-;/lexer__special_token/
lexer__token_to_string	lexer.m	/^:- pred lexer__token_to_string(token, string).$/;-;/lexer__token_to_string/
lexer__whitespace_after_dot	lexer.m	/^:- pred lexer__whitespace_after_dot(character).$/;-;/lexer__whitespace_after_dot/
list	list.m	/^:- type list(T) ---> [] ; [T | list(T)].$/;-;/list/
list__append	list.m	/^:- pred list__append(list(T), list(T), list(T)).$/;-;/list__append/
list__chunk	list.m	/^:- pred list__chunk(list(T), int, list(list(T))).$/;-;/list__chunk/
list__chunk_2	list.m	/^:- pred list__chunk_2(list(T), int, list(T), int, list(list(T))).$/;-;/list__chunk_2/
list__condense	list.m	/^:- pred list__condense(list(list(T)), list(T)).$/;-;/list__condense/
list__delete	list.m	/^:- pred list__delete(list(T), T, list(T)).$/;-;/list__delete/
list__delete_all	list.m	/^:- pred list__delete_all(list(T), T, list(T)).$/;-;/list__delete_all/
list__delete_elems	list.m	/^:- pred list__delete_elems(list(T), list(T), list(T)).$/;-;/list__delete_elems/
list__delete_first	list.m	/^:- pred list__delete_first(list(T), T, list(T)).$/;-;/list__delete_first/
list__drop	list.m	/^:- pred list__drop(int, list(T), list(T)).$/;-;/list__drop/
list__duplicate	list.m	/^:- pred list__duplicate(int, T, list(T)).$/;-;/list__duplicate/
list__index0	list.m	/^:- pred list__index0(list(T)::in, int::in, T::out) is semidet.$/;-;/list__index0/
list__index0_det	list.m	/^:- pred list__index0_det(list(T)::in, int::in, T::out) is det.$/;-;/list__index0_det/
list__index1	list.m	/^:- pred list__index1(list(T)::in, int::in, T::out) is semidet.$/;-;/list__index1/
list__index1_det	list.m	/^:- pred list__index1_det(list(T)::in, int::in, T::out) is det.$/;-;/list__index1_det/
list__insert	list.m	/^:- pred list__insert(T, list(T), list(T)).$/;-;/list__insert/
list__length	list.m	/^:- pred list__length(list(_T), int).$/;-;/list__length/
list__length_2	list.m	/^:- pred list__length_2(list(T), int, int).$/;-;/list__length_2/
list__member	list.m	/^:- pred list__member(T, list(T)).$/;-;/list__member/
list__merge	list.m	/^:- pred list__merge(list(T), list(T), list(T)).$/;-;/list__merge/
list__merge_and_remove_dups	list.m	/^:- pred list__merge_and_remove_dups(list(T), list(T), list(T)).$/;-;/list__merge_and_remove_dups/
list__nth_member_search	list.m	/^:- pred list__nth_member_search(list(T), T, int).$/;-;/list__nth_member_search/
list__partition	list.m	/^:- pred list__partition(list(T), T, list(T), list(T)).$/;-;/list__partition/
list__perm	list.m	/^:- pred	list__perm(list(T), list(T)).$/;-;/list__perm/
list__qsort	list.m	/^:- pred list__qsort(list(T), list(T), list(T)).$/;-;/list__qsort/
list__remove_adjacent_dups	list.m	/^:- pred list__remove_adjacent_dups(list(T), list(T)).$/;-;/list__remove_adjacent_dups/
list__remove_adjacent_dups_2	list.m	/^:- pred list__remove_adjacent_dups_2(list(T), T, list(T)).$/;-;/list__remove_adjacent_dups_2/
list__remove_dups	list.m	/^:- pred list__remove_dups(list(T), list(T)).$/;-;/list__remove_dups/
list__remove_dups_2	list.m	/^:- pred list__remove_dups_2(list(T), bintree_set(T), list(T)).$/;-;/list__remove_dups_2/
list__remove_suffix	list.m	/^:- pred list__remove_suffix(list(T), list(T), list(T)).$/;-;/list__remove_suffix/
list__reverse	list.m	/^:- pred list__reverse(list(T), list(T)).$/;-;/list__reverse/
list__reverse_2	list.m	/^:- pred list__reverse_2(list(T), list(T), list(T)).$/;-;/list__reverse_2/
list__same_length	list.m	/^:- pred list__same_length(list(T1), list(T2)).$/;-;/list__same_length/
list__sort	list.m	/^:- pred list__sort(list(T), list(T)).$/;-;/list__sort/
list__split3	list.m	/^:- pred list__split3(list(T), list(T), list(T), list(T)).$/;-;/list__split3/
list__split_list	list.m	/^:- pred list__split_list(int, list(T), list(T), list(T)).$/;-;/list__split_list/
list__take	list.m	/^:- pred list__take(int, list(T), list(T)).$/;-;/list__take/
list__zip	list.m	/^:- pred list__zip(list(T), list(T), list(T)).$/;-;/list__zip/
list__zip2	list.m	/^:- pred list__zip2(list(T), list(T), list(T)).$/;-;/list__zip2/
list_skel_output	list.m	/^:- mode list_skel_output :: list_skel -> ground.$/;-;/list_skel_output/
map	map.m	/^:- type map(K,V)	==	tree234(K,V).$/;-;/map/
map__apply_to_list	map.m	/^:- pred map__apply_to_list(list(K), map(K, V), list(V)).$/;-;/map__apply_to_list/
map__contains	map.m	/^:- pred map__contains(map(K,_V), K).$/;-;/map__contains/
map__count	map.m	/^:- pred map__count(map(K, V), int).$/;-;/map__count/
map__delete	map.m	/^:- pred map__delete(map(K,V), K, map(K,V)).$/;-;/map__delete/
map__det_insert	map.m	/^:- pred map__det_insert(map(K,V), K, V, map(K,V)).$/;-;/map__det_insert/
map__det_remove	map.m	/^:- pred map__det_remove(map(K,V), K, V, map(K,V)).$/;-;/map__det_remove/
map__det_update	map.m	/^:- pred map__det_update(map(K,V), K, V, map(K,V)).$/;-;/map__det_update/
map__from_assoc_list	map.m	/^:- pred map__from_assoc_list(assoc_list(K,V), map(K,V)).$/;-;/map__from_assoc_list/
map__from_corresponding_lists	map.m	/^:- pred map__from_corresponding_lists(list(K), list(V), map(K, V)).$/;-;/map__from_corresponding_lists/
map__from_sorted_assoc_list	map.m	/^:- pred map__from_sorted_assoc_list(assoc_list(K,V), map(K,V)).$/;-;/map__from_sorted_assoc_list/
map__init	map.m	/^:- pred map__init(map(_,_)).$/;-;/map__init/
map__insert	map.m	/^:- pred map__insert(map(K,V), K, V, map(K,V)).$/;-;/map__insert/
map__inverse_search	map.m	/^:- pred map__inverse_search(map(K,V), V, K).$/;-;/map__inverse_search/
map__is_empty	map.m	/^:- pred map__is_empty(map(_,_)).$/;-;/map__is_empty/
map__keys	map.m	/^:- pred map__keys(map(K, _V), list(K)).$/;-;/map__keys/
map__lookup	map.m	/^:- pred map__lookup(map(K,V), K, V).$/;-;/map__lookup/
map__member	map.m	/^:- pred map__member(map(K,V), K, V).$/;-;/map__member/
map__merge	map.m	/^:- pred map__merge(map(K, V), map(K, V), map(K, V)).$/;-;/map__merge/
map__optimize	map.m	/^:- pred map__optimize(map(K, V), map(K, V)).$/;-;/map__optimize/
map__overlay	map.m	/^:- pred map__overlay(map(K,V), map(K,V), map(K,V)).$/;-;/map__overlay/
map__overlay_2	map.m	/^:- pred map__overlay_2(assoc_list(K,V), map(K,V), map(K,V)).$/;-;/map__overlay_2/
map__remove	map.m	/^:- pred map__remove(map(K,V), K, V, map(K,V)).$/;-;/map__remove/
map__remove_smallest	map.m	/^:- pred map__remove_smallest(map(K, V), K, V, map(K, V)).$/;-;/map__remove_smallest/
map__search	map.m	/^:- pred map__search(map(K,V), K, V).$/;-;/map__search/
map__select	map.m	/^:- pred map__select(map(K,V), set(K), map(K,V)).$/;-;/map__select/
map__select_2	map.m	/^:- pred map__select_2(list(K), map(K,V), map(K,V), map(K,V)).$/;-;/map__select_2/
map__set	map.m	/^:- pred map__set(map(K,V), K, V, map(K,V)).$/;-;/map__set/
map__to_assoc_list	map.m	/^:- pred map__to_assoc_list(map(K,V), assoc_list(K,V)).$/;-;/map__to_assoc_list/
map__update	map.m	/^:- pred map__update(map(K,V), K, V, map(K,V)).$/;-;/map__update/
map__values	map.m	/^:- pred map__values(map(_K, V), list(V)).$/;-;/map__values/
maybe	std_util.m	/^:- type maybe(T) ---> yes(T) ; no.$/;-;/maybe/
mercury__escape_char	term_io.m	/^:- pred mercury__escape_char(character, string).$/;-;/mercury__escape_char/
mercury_quote_special_char	term_io.m	/^:- pred mercury_quote_special_char(character, character).$/;-;/mercury_quote_special_char/
node	graph.m	/^:- type node(N)			==	int.$/;-;/node/
node_id	store.m	/^:- type node_id(_T)	==	int.$/;-;/node_id/
nondet_pred	mercury_builtin.m	/^:- mode nondet_pred :: output.$/;-;/nondet_pred/
op_details	term_io.m	/^:- type op_details ---> op(int, op_type, string).$/;-;/op_details/
op_type	term_io.m	/^:- type op_type ---> fx; fy; xf; yf; xfx; xfy; yfx; fxx; fxy; fyx; fyy.$/;-;/op_type/
ops__assoc	ops.m	/^:- type ops__assoc$/;-;/ops__assoc/
ops__category	ops.m	/^:- type ops__category ---> before ; after.$/;-;/ops__category/
ops__class	ops.m	/^:- type ops__class$/;-;/ops__class/
ops__init_op_table	ops.m	/^:- pred ops__init_op_table(ops__table).$/;-;/ops__init_op_table/
ops__lookup_binary_prefix_op	ops.m	/^:- pred ops__lookup_binary_prefix_op(ops__table, string,$/;-;/ops__lookup_binary_prefix_op/
ops__lookup_infix_op	ops.m	/^:- pred ops__lookup_infix_op(ops__table, string, int, ops__assoc, ops__assoc).$/;-;/ops__lookup_infix_op/
ops__lookup_op	ops.m	/^:- pred ops__lookup_op(ops__table, string).$/;-;/ops__lookup_op/
ops__lookup_postfix_op	ops.m	/^:- pred ops__lookup_postfix_op(ops__table, string, int, ops__assoc).$/;-;/ops__lookup_postfix_op/
ops__lookup_prefix_op	ops.m	/^:- pred ops__lookup_prefix_op(ops__table, string, int, ops__assoc).$/;-;/ops__lookup_prefix_op/
ops__op_specifier_to_class	ops.m	/^:- pred ops__op_specifier_to_class(ops__specifier, ops__class).$/;-;/ops__op_specifier_to_class/
ops__op_table	ops.m	/^:- pred ops__op_table(string, ops__category, ops__specifier, ops__priority).$/;-;/ops__op_table/
ops__priority	ops.m	/^:- type ops__priority == int.$/;-;/ops__priority/
ops__specifier	ops.m	/^:- type ops__specifier$/;-;/ops__specifier/
ops__table	ops.m	/^:- type ops__table ---> ops__table.	% XXX$/;-;/ops__table/
out	mercury_builtin.m	/^:- mode out :: (free -> ground).$/;-;/out/
output	mercury_builtin.m	/^:- mode output :: (free -> ground).$/;-;/output/
output_list_skel	list.m	/^:- mode output_list_skel :: free -> list_skel.$/;-;/output_list_skel/
pair	std_util.m	/^:- type pair(T1, T2)	--->	(T1 - T2).$/;-;/pair/
parse	parser.m	/^:- type parse(T)$/;-;/parse/
parser__add_var	parser.m	/^:- pred parser__add_var(string, var, parser__state, parser__state).$/;-;/parser__add_var/
parser__adjust_priority	parser.m	/^:- pred parser__adjust_priority(ops__assoc, int, int).$/;-;/parser__adjust_priority/
parser__check_for_bad_token	parser.m	/^:- pred parser__check_for_bad_token(token_list, string, int).$/;-;/parser__check_for_bad_token/
parser__check_for_errors	parser.m	/^:- pred parser__check_for_errors(parse(term), varset, token_list, token_list,$/;-;/parser__check_for_errors/
parser__check_priority	parser.m	/^:- pred parser__check_priority(ops__assoc, int, int).$/;-;/parser__check_priority/
parser__could_start_term	parser.m	/^:- pred parser__could_start_term(token, bool).$/;-;/parser__could_start_term/
parser__error	parser.m	/^:- pred parser__error(string, parse(T), parser__state, parser__state).$/;-;/parser__error/
parser__final_state	parser.m	/^:- pred parser__final_state(parser__state, varset, token_list).$/;-;/parser__final_state/
parser__get_ops_table	parser.m	/^:- pred parser__get_ops_table(ops__table, parser__state, parser__state).$/;-;/parser__get_ops_table/
parser__get_term_context	parser.m	/^:- pred parser__get_term_context(token_context, term__context,$/;-;/parser__get_term_context/
parser__get_token	parser.m	/^:- pred parser__get_token(token, parser__state, parser__state).$/;-;/parser__get_token/
parser__init_state	parser.m	/^:- pred parser__init_state(token_list, parser__state, io__state, io__state).$/;-;/parser__init_state/
parser__parse_arg	parser.m	/^:- pred parser__parse_arg(parse(term), parser__state, parser__state).$/;-;/parser__parse_arg/
parser__parse_args	parser.m	/^:- pred parser__parse_args(parse(list(term)), parser__state, parser__state).$/;-;/parser__parse_args/
parser__parse_left_term	parser.m	/^:- pred parser__parse_left_term(int, bool, int, parse(term),$/;-;/parser__parse_left_term/
parser__parse_list	parser.m	/^:- pred parser__parse_list(parse(term), parser__state, parser__state).$/;-;/parser__parse_list/
parser__parse_rest	parser.m	/^:- pred parser__parse_rest(int, bool, int, term, parse(term),$/;-;/parser__parse_rest/
parser__parse_simple_term	parser.m	/^:- pred parser__parse_simple_term(int, parse(term),$/;-;/parser__parse_simple_term/
parser__parse_simple_term_2	parser.m	/^:- pred parser__parse_simple_term_2(token, token_context, int, parse(term),$/;-;/parser__parse_simple_term_2/
parser__parse_term	parser.m	/^:- pred parser__parse_term(parse(term), parser__state, parser__state).$/;-;/parser__parse_term/
parser__parse_term_2	parser.m	/^:- pred parser__parse_term_2(int, bool, parse(term),$/;-;/parser__parse_term_2/
parser__parse_whole_term	parser.m	/^:- pred parser__parse_whole_term(parse(term), parser__state, parser__state).$/;-;/parser__parse_whole_term/
parser__peek_token	parser.m	/^:- pred parser__peek_token(token, parser__state, parser__state).$/;-;/parser__peek_token/
parser__read_term	parser.m	/^:- pred parser__read_term(read_term, io__state, io__state).$/;-;/parser__read_term/
parser__state	parser.m	/^:- type parser__state$/;-;/parser__state/
parser__unexpected	parser.m	/^:- pred parser__unexpected(string, parse(T), parser__state, parser__state).$/;-;/parser__unexpected/
parser__unexpected_tok	parser.m	/^:- pred parser__unexpected_tok(token, token_context, string, parse(T),$/;-;/parser__unexpected_tok/
parser__unget_token	parser.m	/^:- pred parser__unget_token(token, token_context, parser__state, parser__state).$/;-;/parser__unget_token/
pqueue	pqueue.m	/^:- type pqueue(K, V)	--->	empty$/;-;/pqueue/
pqueue__assoc_list_to_pqueue	pqueue.m	/^:- pred pqueue__assoc_list_to_pqueue(assoc_list(K, V), pqueue(K, V)).$/;-;/pqueue__assoc_list_to_pqueue/
pqueue__init	pqueue.m	/^:- pred pqueue__init(pqueue(_K, _V)).$/;-;/pqueue__init/
pqueue__insert	pqueue.m	/^:- pred pqueue__insert(pqueue(K, V), K, V, pqueue(K, V)).$/;-;/pqueue__insert/
pqueue__insert_2	pqueue.m	/^:- pred pqueue__insert_2(K, V, pqueue(K, V), pqueue(K, V),$/;-;/pqueue__insert_2/
pqueue__remove	pqueue.m	/^:- pred pqueue__remove(pqueue(K, V), K, V, pqueue(K, V)).$/;-;/pqueue__remove/
pqueue__remove_2	pqueue.m	/^:- pred pqueue__remove_2(pqueue(K, V), pqueue(K, V), pqueue(K, V)).$/;-;/pqueue__remove_2/
pqueue__to_assoc_list	pqueue.m	/^:- pred pqueue__to_assoc_list(pqueue(K, V), assoc_list(K, V)).$/;-;/pqueue__to_assoc_list/
queue	queue.m	/^:- type queue(T) == pair(list(T)).$/;-;/queue/
queue__equal	queue.m	/^:- pred queue__equal(queue(T), queue(T)).$/;-;/queue__equal/
queue__first	queue.m	/^:- pred queue__first(queue(T), T).$/;-;/queue__first/
queue__get	queue.m	/^:- pred queue__get(queue(T), T, queue(T)).$/;-;/queue__get/
queue__get_2	queue.m	/^:- pred queue__get_2(list(T), list(T), T, list(T), list(T)).$/;-;/queue__get_2/
queue__init	queue.m	/^:- pred queue__init(queue(T)).$/;-;/queue__init/
queue__is_empty	queue.m	/^:- pred queue__is_empty(queue(T)).$/;-;/queue__is_empty/
queue__is_full	queue.m	/^:- pred queue__is_full(queue(T)).$/;-;/queue__is_full/
queue__length	queue.m	/^:- pred queue__length(queue(T), int).$/;-;/queue__length/
queue__list_to_queue	queue.m	/^:- pred queue__list_to_queue(list(T), queue(T)).$/;-;/queue__list_to_queue/
queue__put	queue.m	/^:- pred queue__put(queue(T), T, queue(T)).$/;-;/queue__put/
queue__put_list	queue.m	/^:- pred queue__put_list(queue(T), list(T), queue(T)).$/;-;/queue__put_list/
random__bit_rev	random.m	/^:- pred random__bit_rev(int::in, int::out) is semidet.$/;-;/random__bit_rev/
random__bit_reverse	random.m	/^:- pred random__bit_reverse(int::in, int::out) is det.$/;-;/random__bit_reverse/
random__init	random.m	/^:- pred random__init(int, random__supply).$/;-;/random__init/
random__params	random.m	/^:- pred random__params(int, int, int).	% a, c, m$/;-;/random__params/
random__randmax	random.m	/^:- pred random__randmax(int, random__supply, random__supply).$/;-;/random__randmax/
random__random	random.m	/^:- pred random__random(int, random__supply, random__supply).$/;-;/random__random/
random__supply	random.m	/^:- type random__supply		==	int.	% I(j)$/;-;/random__supply/
random__test	random.m	/^:- pred random__test(int, int, list(int), int).$/;-;/random__test/
random__test_2	random.m	/^:- pred random__test_2(int, list(int), random__supply, random__supply).$/;-;/random__test_2/
rbtree	rbtree.m	/^:- type rbtree(K,V)	 --->	empty$/;-;/rbtree/
rbtree__assoc_list_to_rbtree	rbtree.m	/^:- pred rbtree__assoc_list_to_rbtree(assoc_list(K, V), rbtree(K, V)).$/;-;/rbtree__assoc_list_to_rbtree/
rbtree__count	rbtree.m	/^:- pred rbtree__count(rbtree(K, V), int).$/;-;/rbtree__count/
rbtree__delete	rbtree.m	/^:- pred rbtree__delete(rbtree(K, V), K, rbtree(K, V)).$/;-;/rbtree__delete/
rbtree__get_tree_max	rbtree.m	/^:- pred rbtree__get_tree_max(rbtree(K, V), K, V, rbtree(K, V)).$/;-;/rbtree__get_tree_max/
rbtree__get_tree_min	rbtree.m	/^:- pred rbtree__get_tree_min(rbtree(K, V), K, V, rbtree(K, V)).$/;-;/rbtree__get_tree_min/
rbtree__init	rbtree.m	/^:- pred rbtree__init(rbtree(K, V)).$/;-;/rbtree__init/
rbtree__insert	rbtree.m	/^:- pred rbtree__insert(rbtree(K, V), K, V, rbtree(K, V)).$/;-;/rbtree__insert/
rbtree__insert_2	rbtree.m	/^:- pred rbtree__insert_2(rbtree(K, V), K, V, rbtree(K, V)). $/;-;/rbtree__insert_2/
rbtree__keys	rbtree.m	/^:- pred rbtree__keys(rbtree(K, V), list(K)).$/;-;/rbtree__keys/
rbtree__lookup	rbtree.m	/^:- pred rbtree__lookup(rbtree(K, V), K, V).$/;-;/rbtree__lookup/
rbtree__rbtree_to_assoc_list	rbtree.m	/^:- pred rbtree__rbtree_to_assoc_list(rbtree(K, V), assoc_list(K, V)).$/;-;/rbtree__rbtree_to_assoc_list/
rbtree__remove	rbtree.m	/^:- pred rbtree__remove(rbtree(K, V), K, rbtree(K, V)).$/;-;/rbtree__remove/
rbtree__search	rbtree.m	/^:- pred rbtree__search(rbtree(K, V), K, V).$/;-;/rbtree__search/
rbtree__set	rbtree.m	/^:- pred rbtree__set(rbtree(K, V), K, V, rbtree(K, V)).$/;-;/rbtree__set/
rbtree__set_2	rbtree.m	/^:- pred rbtree__set_2(rbtree(K, V), K, V, rbtree(K, V)). $/;-;/rbtree__set_2/
rbtree__update	rbtree.m	/^:- pred rbtree__update(rbtree(K, V), K, V, rbtree(K, V)).$/;-;/rbtree__update/
rbtree__values	rbtree.m	/^:- pred rbtree__values(rbtree(K, V), list(V)).$/;-;/rbtree__values/
read_term	term_io.m	/^:- type read_term ---> eof ; error(string, int) ; term(varset, term).$/;-;/read_term/
relation	relation.m	/^:- type relation(T) --->$/;-;/relation/
relation__add	relation.m	/^:- pred relation__add(relation(T), T, T, relation(T)).$/;-;/relation__add/
relation__add_assoc_list	relation.m	/^:- pred relation__add_assoc_list(relation(T), assoc_list(T, T), relation(T)).$/;-;/relation__add_assoc_list/
relation__append_to	relation.m	/^:- pred relation__append_to(T, list(T), assoc_list(T,T)).$/;-;/relation__append_to/
relation__atsort	relation.m	/^:- pred relation__atsort(relation(T), list(set(T))).$/;-;/relation__atsort/
relation__c_dfs	relation.m	/^:- pred relation__c_dfs(relation(T), list(T), set(T), set(T), list(T), list(T)).$/;-;/relation__c_dfs/
relation__c_dfs_2	relation.m	/^:- pred relation__c_dfs_2(relation(T), T, set(T), set(T), list(T), list(T)).$/;-;/relation__c_dfs_2/
relation__check_tsort	relation.m	/^:- pred relation__check_tsort(relation(T), set(T), list(T)).$/;-;/relation__check_tsort/
relation__cliques	relation.m	/^:- pred relation__cliques(relation(T), set(set(T))).$/;-;/relation__cliques/
relation__cliques_2	relation.m	/^:- pred relation__cliques_2(relation(T), list(T), set(T),$/;-;/relation__cliques_2/
relation__components	relation.m	/^:- pred relation__components(relation(T), set(set(T))).$/;-;/relation__components/
relation__components_2	relation.m	/^:- pred relation__components_2(relation(T), list(T), set(set(T)), set(set(T))).$/;-;/relation__components_2/
relation__compose	relation.m	/^:- pred relation__compose(relation(T), relation(T), relation(T)).$/;-;/relation__compose/
relation__compose_2	relation.m	/^:- pred relation__compose_2(list(T), relation(T), $/;-;/relation__compose_2/
relation__compose_3	relation.m	/^:- pred relation__compose_3(list(T), relation(T), set(T), set(T)).$/;-;/relation__compose_3/
relation__detect_fake_reflexives	relation.m	/^:- pred relation__detect_fake_reflexives(relation(T), relation(T),$/;-;/relation__detect_fake_reflexives/
relation__dfs	relation.m	/^:- pred relation__dfs(relation(T), T, list(T)).$/;-;/relation__dfs/
relation__dfs_2	relation.m	/^:- pred relation__dfs_2(relation(T), stack(T), set(T), list(T), list(T)).$/;-;/relation__dfs_2/
relation__effective_domain	relation.m	/^:- pred relation__effective_domain(relation(T), set(T)).$/;-;/relation__effective_domain/
relation__from_assoc_list	relation.m	/^:- pred relation__from_assoc_list(assoc_list(T, T), relation(T)).$/;-;/relation__from_assoc_list/
relation__init	relation.m	/^:- pred relation__init(relation(T)).$/;-;/relation__init/
relation__inverse	relation.m	/^:- pred relation__inverse(relation(T), relation(T)).$/;-;/relation__inverse/
relation__lookup	relation.m	/^:- pred relation__lookup(relation(T), T, T).$/;-;/relation__lookup/
relation__lookup_from	relation.m	/^:- pred relation__lookup_from(relation(T), T, set(T)).$/;-;/relation__lookup_from/
relation__lookup_to	relation.m	/^:- pred relation__lookup_to(relation(T), T, set(T)).$/;-;/relation__lookup_to/
relation__make_clique_map	relation.m	/^:- pred relation__make_clique_map(list(set(T)), map(T, set(T))).$/;-;/relation__make_clique_map/
relation__make_clique_map_2	relation.m	/^:- pred relation__make_clique_map_2(map(T, set(T)), set(T), list(T), $/;-;/relation__make_clique_map_2/
relation__make_reduced_graph	relation.m	/^:- pred relation__make_reduced_graph(map(T, set(T)), $/;-;/relation__make_reduced_graph/
relation__reachable_from	relation.m	/^:- pred relation__reachable_from(relation(T), set(T), queue(T), set(T)).$/;-;/relation__reachable_from/
relation__reduced	relation.m	/^:- pred relation__reduced(relation(T), relation(set(T))).$/;-;/relation__reduced/
relation__remove	relation.m	/^:- pred relation__remove(relation(T), T, T, relation(T)).$/;-;/relation__remove/
relation__remove_assoc_list	relation.m	/^:- pred relation__remove_assoc_list(relation(T), assoc_list(T, T), relation(T)).$/;-;/relation__remove_assoc_list/
relation__reverse_lookup	relation.m	/^:- pred relation__reverse_lookup(relation(T), T, T).$/;-;/relation__reverse_lookup/
relation__rtc	relation.m	/^:- pred relation__rtc(relation(T), relation(T)).$/;-;/relation__rtc/
relation__rtc_2	relation.m	/^:- pred relation__rtc_2(int, relation(T), list(T), map(T, int), $/;-;/relation__rtc_2/
relation__sc	relation.m	/^:- pred relation__sc(relation(T), relation(T)).$/;-;/relation__sc/
relation__tc	relation.m	/^:- pred relation__tc(relation(T), relation(T)).$/;-;/relation__tc/
relation__to_assoc_list	relation.m	/^:- pred relation__to_assoc_list(relation(T), assoc_list(T, T)).$/;-;/relation__to_assoc_list/
relation__to_assoc_list_2	relation.m	/^:- pred relation__to_assoc_list_2(map(T,set(T)), list(T), assoc_list(T, T)).$/;-;/relation__to_assoc_list_2/
relation__tsort	relation.m	/^:- pred relation__tsort(relation(T), list(T)).$/;-;/relation__tsort/
relation__tsort_2	relation.m	/^:- pred relation__tsort_2(relation(T), list(T), set(T), set(T),$/;-;/relation__tsort_2/
relation__tsort_3	relation.m	/^:- pred relation__tsort_3(relation(T), stack(T), set(T), set(T),$/;-;/relation__tsort_3/
report_stats	std_util.m	/^:- pred report_stats is det.$/;-;/report_stats/
require	require.m	/^:- pred	require(pred, string).$/;-;/require/
right_shift_octet	term.m	/^:- pred right_shift_octet(int::in, int::out, int::out) is det.$/;-;/right_shift_octet/
rtc	relation.m	/^:- pred rtc(int, relation(T), T, int, stack(T), stack(T), $/;-;/rtc/
rtc_2	relation.m	/^:- pred rtc_2(int, relation(T), T, int, list(T), stack(T), stack(T), $/;-;/rtc_2/
rtc_3	relation.m	/^:- pred rtc_3(int, T, map(T, int), map(T, int),$/;-;/rtc_3/
rtc__init_map	relation.m	/^:- pred rtc__init_map(map(T, int), list(T), map(T, int)).$/;-;/rtc__init_map/
semidet_fail	std_util.m	/^:- pred semidet_fail is semidet.$/;-;/semidet_fail/
semidet_pred	mercury_builtin.m	/^:- mode semidet_pred :: output.$/;-;/semidet_pred/
semidet_succeed	std_util.m	/^:- pred semidet_succeed is semidet.$/;-;/semidet_succeed/
set	set.m	/^:- type set(T)		  ==	  list(T).$/;-;/set/
set__delete	set.m	/^:- pred set__delete(set(T), T, set(T)).$/;-;/set__delete/
set__delete_list	set.m	/^:- pred set__delete_list(set(T), list(T), set(T)).$/;-;/set__delete_list/
set__difference	set.m	/^:- pred set__difference(set(T), set(T), set(T)).$/;-;/set__difference/
set__difference_2	set.m	/^:- pred set__difference_2(set(T), set(T), set(T)).$/;-;/set__difference_2/
set__empty	set.m	/^:- pred set__empty(set(_T)).$/;-;/set__empty/
set__equal	set.m	/^:- pred set__equal(set(T), set(T)).$/;-;/set__equal/
set__init	set.m	/^:- pred set__init(set(_T)).$/;-;/set__init/
set__insert	set.m	/^:- pred set__insert(set(T), T, set(T)).$/;-;/set__insert/
set__insert_list	set.m	/^:- pred set__insert_list(set(T), list(T), set(T)).$/;-;/set__insert_list/
set__intersect	set.m	/^:- pred set__intersect(set(T), set(T), set(T)).$/;-;/set__intersect/
set__intersect_2	set.m	/^:- pred set__intersect_2(set(T), set(T), set(T), set(T)).$/;-;/set__intersect_2/
set__is_member	set.m	/^:- pred set__is_member(T, set(T), bool).$/;-;/set__is_member/
set__join	set.m	/^:- pred set__join(set(set(T)), set(T)).$/;-;/set__join/
set__list_to_set	set.m	/^:- pred set__list_to_set(list(T), set(T)).$/;-;/set__list_to_set/
set__member	set.m	/^:- pred set__member(T, set(T)).$/;-;/set__member/
set__power_intersect	set.m	/^:- pred set__power_intersect(set(set(T)), set(T)).$/;-;/set__power_intersect/
set__power_union	set.m	/^:- pred set__power_union(set(set(T)), set(T)).$/;-;/set__power_union/
set__power_union_2	set.m	/^:- pred set__power_union_2(list(set(T)), set(T), set(T)).$/;-;/set__power_union_2/
set__remove	set.m	/^:- pred set__remove(set(T), T, set(T)).$/;-;/set__remove/
set__remove_least	set.m	/^:- pred set__remove_least(set(T), T, set(T)).$/;-;/set__remove_least/
set__remove_list	set.m	/^:- pred set__remove_list(set(T), list(T), set(T)).$/;-;/set__remove_list/
set__singleton_set	set.m	/^:- pred set__singleton_set(set(T), T).$/;-;/set__singleton_set/
set__sorted_list_to_set	set.m	/^:- pred set__sorted_list_to_set(list(T), set(T)).$/;-;/set__sorted_list_to_set/
set__subset	set.m	/^:- pred set__subset(set(T), set(T)).$/;-;/set__subset/
set__superset	set.m	/^:- pred set__superset(set(T), set(T)).$/;-;/set__superset/
set__to_sorted_list	set.m	/^:- pred set__to_sorted_list(set(T), list(T)).$/;-;/set__to_sorted_list/
set__union	set.m	/^:- pred set__union(set(T), set(T), set(T)).$/;-;/set__union/
set__union_list	set.m	/^:- pred set__union_list(set(T), list(set(T)), set(T)).$/;-;/set__union_list/
solutions	std_util.m	/^:- pred solutions(pred(T), list(T)).$/;-;/solutions/
stack	stack.m	/^:- type stack(T) == list(T).$/;-;/stack/
stack__depth	stack.m	/^:- pred stack__depth(stack(_T), int).$/;-;/stack__depth/
stack__init	stack.m	/^:- pred stack__init(stack(_T)).$/;-;/stack__init/
stack__is_empty	stack.m	/^:- pred stack__is_empty(stack(_T)).$/;-;/stack__is_empty/
stack__is_full	stack.m	/^:- pred stack__is_full(stack(_T)).$/;-;/stack__is_full/
stack__pop	stack.m	/^:- pred stack__pop(stack(T), T, stack(T)).$/;-;/stack__pop/
stack__pop_det	stack.m	/^:- pred stack__pop_det(stack(T), T, stack(T)).$/;-;/stack__pop_det/
stack__push	stack.m	/^:- pred stack__push(stack(T), T, stack(T)).$/;-;/stack__push/
stack__push_list	stack.m	/^:- pred stack__push_list(stack(T), list(T), stack(T)).$/;-;/stack__push_list/
stack__top	stack.m	/^:- pred stack__top(stack(T), T).$/;-;/stack__top/
store	store.m	/^:- type store(T)	--->	store(node_id(T), map(node_id(T), T)).$/;-;/store/
store__init	store.m	/^:- pred store__init(store(_T)).$/;-;/store__init/
store__lookup_node	store.m	/^:- pred store__lookup_node(store(T), node_id(T), T).$/;-;/store__lookup_node/
store__new_node	store.m	/^:- pred store__new_node(store(T), T, node_id(T), store(T)).$/;-;/store__new_node/
store__set_node	store.m	/^:- pred store__set_node(store(T), node_id(T), T, store(T)).$/;-;/store__set_node/
string__append	string.m	/^:- pred string__append(string, string, string).$/;-;/string__append/
string__append_list	string.m	/^:- pred string__append_list(list(string), string).$/;-;/string__append_list/
string__base_string_to_int	string.m	/^:- pred string__base_string_to_int(int, string, int).$/;-;/string__base_string_to_int/
string__base_string_to_int_2	string.m	/^:- pred string__base_string_to_int_2(int, string, int, int).$/;-;/string__base_string_to_int_2/
string__capitalize_first	string.m	/^:- pred string__capitalize_first(string, string).$/;-;/string__capitalize_first/
string__char_list_to_int_list	string.m	/^:- pred string__char_list_to_int_list(list(character), list(int)).$/;-;/string__char_list_to_int_list/
string__char_list_to_upper	string.m	/^:- pred string__char_list_to_upper(list(char), list(char)).$/;-;/string__char_list_to_upper/
string__char_to_string	string.m	/^:- pred string__char_to_string(character, string).$/;-;/string__char_to_string/
string__combine_hash	string.m	/^:- pred string__combine_hash(int, int, int).$/;-;/string__combine_hash/
string__digit_to_char	string.m	/^:- pred string__digit_to_char(int, character).$/;-;/string__digit_to_char/
string__digit_to_char_det	string.m	/^:- pred string__digit_to_char_det(int, character).$/;-;/string__digit_to_char_det/
string__duplicate_char	string.m	/^:- pred string__duplicate_char(character, int, string).$/;-;/string__duplicate_char/
string__first_char	string.m	/^:- pred string__first_char(string, character, string).$/;-;/string__first_char/
string__float_to_string	string.m	/^:- pred string__float_to_string(float, string).$/;-;/string__float_to_string/
string__from_char_list	string.m	/^:- pred string__from_char_list(list(character), string).$/;-;/string__from_char_list/
string__hash	string.m	/^:- pred string__hash(string, int).$/;-;/string__hash/
string__hash_2	string.m	/^:- pred string__hash_2(list(int), int, int).$/;-;/string__hash_2/
string__index	string.m	/^:- pred string__index(string, int, character).$/;-;/string__index/
string__index_det	string.m	/^:- pred string__index_det(string, int, character).$/;-;/string__index_det/
string__int_list_to_char_list	string.m	/^:- pred string__int_list_to_char_list(list(int), list(character)).$/;-;/string__int_list_to_char_list/
string__int_to_base_string	string.m	/^:- pred string__int_to_base_string(int, int, string).$/;-;/string__int_to_base_string/
string__int_to_base_string_1	string.m	/^:- pred string__int_to_base_string_1(int, int, string).$/;-;/string__int_to_base_string_1/
string__int_to_base_string_2	string.m	/^:- pred string__int_to_base_string_2(int, int, string).$/;-;/string__int_to_base_string_2/
string__int_to_string	string.m	/^:- pred string__int_to_string(int, string).$/;-;/string__int_to_string/
string__is_alnum_or_underscore	string.m	/^:- pred string__is_alnum_or_underscore(string).$/;-;/string__is_alnum_or_underscore/
string__is_alpha	string.m	/^:- pred string__is_alpha(string).$/;-;/string__is_alpha/
string__is_alpha_or_underscore	string.m	/^:- pred string__is_alpha_or_underscore(string).$/;-;/string__is_alpha_or_underscore/
string__left	string.m	/^:- pred string__left(string, int, string).$/;-;/string__left/
string__length	string.m	/^:- pred string__length(string, int).$/;-;/string__length/
string__pad_left	string.m	/^:- pred string__pad_left(string, character, int, string).$/;-;/string__pad_left/
string__pad_right	string.m	/^:- pred string__pad_right(string, character, int, string).$/;-;/string__pad_right/
string__prefix	string.m	/^:- pred string__prefix(string, string).$/;-;/string__prefix/
string__remove_suffix	string.m	/^:- pred string__remove_suffix(string, string, string).$/;-;/string__remove_suffix/
string__right	string.m	/^:- pred string__right(string, int, string).$/;-;/string__right/
string__split	string.m	/^:- pred string__split(string, int, string, string).$/;-;/string__split/
string__substring	string.m	/^:- pred string__substring(string, int, int, string).$/;-;/string__substring/
string__to_char_list	string.m	/^:- pred string__to_char_list(string, list(character)).$/;-;/string__to_char_list/
string__to_float	string.m	/^:- pred string__to_float(string, float).$/;-;/string__to_float/
string__to_int	string.m	/^:- pred string__to_int(string, int).$/;-;/string__to_int/
string__to_int_list	string.m	/^:- pred string__to_int_list(string, list(int)).$/;-;/string__to_int_list/
string__to_upper	string.m	/^:- pred string__to_upper(string, string).$/;-;/string__to_upper/
string__uncapitalize_first	string.m	/^:- pred string__uncapitalize_first(string, string).$/;-;/string__uncapitalize_first/
substitution	term.m	/^:- type substitution == map(var, term).$/;-;/substitution/
term	term.m	/^:- type term		--->	term__functor(const, list(term), term__context)$/;-;/term/
term__apply_rec_substitution	term.m	/^:- pred term__apply_rec_substitution(term, substitution, term).$/;-;/term__apply_rec_substitution/
term__apply_rec_substitution_to_list	term.m	/^:- pred term__apply_rec_substitution_to_list(list(term), substitution,$/;-;/term__apply_rec_substitution_to_list/
term__apply_substitution	term.m	/^:- pred term__apply_substitution(term, substitution, term).$/;-;/term__apply_substitution/
term__apply_substitution_to_list	term.m	/^:- pred term__apply_substitution_to_list(list(term), substitution, list(term)).$/;-;/term__apply_substitution_to_list/
term__compare	term.m	/^:- pred term__compare(comparison, term, term, substitution).$/;-;/term__compare/
term__contains_functor	term.m	/^:- pred term__contains_functor(term, const, list(term)).$/;-;/term__contains_functor/
term__contains_var	term.m	/^:- pred term__contains_var(term, var).$/;-;/term__contains_var/
term__contains_var_list	term.m	/^:- pred term__contains_var_list(list(term), var).$/;-;/term__contains_var_list/
term__context	term.m	/^:- type term__context	--->	term__context(string, int).$/;-;/term__context/
term__context_file	term.m	/^:- pred term__context_file(term__context, string).$/;-;/term__context_file/
term__context_init	term.m	/^:- pred term__context_init(term__context).$/;-;/term__context_init/
term__context_line	term.m	/^:- pred term__context_line(term__context, int).$/;-;/term__context_line/
term__create_var	term.m	/^:- pred term__create_var(var_supply, var, var_supply).$/;-;/term__create_var/
term__init_var_supply	term.m	/^:- pred term__init_var_supply(var_supply).$/;-;/term__init_var_supply/
term__is_ground	term.m	/^:- pred term__is_ground(term, substitution).$/;-;/term__is_ground/
term__is_ground_2	term.m	/^:- pred term__is_ground_2(list(term), substitution).$/;-;/term__is_ground_2/
term__occurs	term.m	/^:- pred term__occurs(term, var, substitution).$/;-;/term__occurs/
term__occurs_list	term.m	/^:- pred term__occurs_list(list(term), var, substitution).$/;-;/term__occurs_list/
term__relabel_variable	term.m	/^:- pred term__relabel_variable(term, var, var, term).$/;-;/term__relabel_variable/
term__relabel_variables	term.m	/^:- pred term__relabel_variables(list(term), var, var, list(term)).$/;-;/term__relabel_variables/
term__substitute	term.m	/^:- pred term__substitute(term, var, term, term).$/;-;/term__substitute/
term__substitute_corresponding	term.m	/^:- pred term__substitute_corresponding(list(var), list(term), term, term).$/;-;/term__substitute_corresponding/
term__substitute_corresponding_2	term.m	/^:- pred term__substitute_corresponding_2(list(var), list(term),$/;-;/term__substitute_corresponding_2/
term__substitute_corresponding_list	term.m	/^:- pred term__substitute_corresponding_list(list(var), list(term), list(term),$/;-;/term__substitute_corresponding_list/
term__substitute_list	term.m	/^:- pred term__substitute_list(list(term), var, term, list(term)).$/;-;/term__substitute_list/
term__subterm	term.m	/^:- pred term__subterm(term, term).$/;-;/term__subterm/
term__term_list_to_var_list	term.m	/^:- pred term__term_list_to_var_list(list(term), list(var)).$/;-;/term__term_list_to_var_list/
term__unify	term.m	/^:- pred term__unify(term, term, substitution, substitution).$/;-;/term__unify/
term__unify_list	term.m	/^:- pred term__unify_list(list(term), list(term), substitution, substitution).$/;-;/term__unify_list/
term__var_list_to_term_list	term.m	/^:- pred term__var_list_to_term_list(list(var), list(term)).$/;-;/term__var_list_to_term_list/
term__var_to_int	term.m	/^:- pred term__var_to_int(var, int).$/;-;/term__var_to_int/
term__vars	term.m	/^:- pred term__vars(term, list(var)).$/;-;/term__vars/
term__vars_2	term.m	/^:- pred term__vars_2(term, list(var), list(var)).$/;-;/term__vars_2/
term__vars_2_list	term.m	/^:- pred term__vars_2_list(list(term), list(var), list(var)).$/;-;/term__vars_2_list/
term__vars_list	term.m	/^:- pred term__vars_list(list(term), list(var)).$/;-;/term__vars_list/
term_io__current_ops	term_io.m	/^:- pred term_io__current_ops(list(op_details), io__state, io__state).$/;-;/term_io__current_ops/
term_io__op	term_io.m	/^:- pred term_io__op(int, op_type, string, io__state, io__state).$/;-;/term_io__op/
term_io__quote_atom	term_io.m	/^:- pred term_io__quote_atom(string, io__state, io__state).$/;-;/term_io__quote_atom/
term_io__quote_char	term_io.m	/^:- pred term_io__quote_char(character, io__state, io__state).$/;-;/term_io__quote_char/
term_io__quote_single_char	term_io.m	/^:- pred term_io__quote_single_char(character, io__state, io__state).$/;-;/term_io__quote_single_char/
term_io__quote_string	term_io.m	/^:- pred term_io__quote_string(string, io__state, io__state).$/;-;/term_io__quote_string/
term_io__read_term	term_io.m	/^:- pred term_io__read_term(read_term, io__state, io__state).$/;-;/term_io__read_term/
term_io__write_constant	term_io.m	/^:- pred term_io__write_constant(const, io__state, io__state).$/;-;/term_io__write_constant/
term_io__write_list_tail	term_io.m	/^:- pred term_io__write_list_tail(term, varset, int, varset, int,$/;-;/term_io__write_list_tail/
term_io__write_term	term_io.m	/^:- pred term_io__write_term(varset, term, io__state, io__state).$/;-;/term_io__write_term/
term_io__write_term_2	term_io.m	/^:- pred term_io__write_term_2(term, varset, int, varset, int,$/;-;/term_io__write_term_2/
term_io__write_term_args	term_io.m	/^:- pred term_io__write_term_args(list(term), varset, int, varset, int,$/;-;/term_io__write_term_args/
term_io__write_term_nl	term_io.m	/^:- pred term_io__write_term_nl(varset, term, io__state, io__state).$/;-;/term_io__write_term_nl/
term_io__write_variable	term_io.m	/^:- pred term_io__write_variable(var, varset, io__state, io__state).$/;-;/term_io__write_variable/
term_io__write_variable_2	term_io.m	/^:- pred term_io__write_variable_2(var, varset, int, varset, int,$/;-;/term_io__write_variable_2/
token	lexer.m	/^:- type	token$/;-;/token/
token_context	lexer.m	/^:- type token_context == int.$/;-;/token_context/
token_list	lexer.m	/^:- type token_list == list(pair(token, token_context)).$/;-;/token_list/
tree234	tree234.m	/^:- type tree234(K, V)	--->$/;-;/tree234/
tree234__assoc_list_to_tree234	tree234.m	/^:- pred tree234__assoc_list_to_tree234(assoc_list(K, V), tree234(K, V)).$/;-;/tree234__assoc_list_to_tree234/
tree234__count	tree234.m	/^:- pred tree234__count(tree234(K, V), int).$/;-;/tree234__count/
tree234__delete	tree234.m	/^:- pred tree234__delete(tree234(K, V), K, tree234(K, V)).$/;-;/tree234__delete/
tree234__four	tree234.m	/^:- pred tree234__four(tree234(K, V), K, V, tree234(K, V), tree234(K, V)).$/;-;/tree234__four/
tree234__glue	tree234.m	/^:- pred tree234__glue(tree234(K, V), tree234(K, V), tree234(K, V)).$/;-;/tree234__glue/
tree234__init	tree234.m	/^:- pred tree234__init(tree234(K, V)).$/;-;/tree234__init/
tree234__insert	tree234.m	/^:- pred tree234__insert(tree234(K, V), K, V, tree234(K, V)).$/;-;/tree234__insert/
tree234__keys	tree234.m	/^:- pred tree234__keys(tree234(K, V), list(K)).$/;-;/tree234__keys/
tree234__lookup	tree234.m	/^:- pred tree234__lookup(tree234(K, V), K, V).$/;-;/tree234__lookup/
tree234__member	tree234.m	/^:- pred tree234__member(tree234(K, V), K, V).$/;-;/tree234__member/
tree234__remove	tree234.m	/^:- pred tree234__remove(tree234(K, V), K, V, tree234(K, V)).$/;-;/tree234__remove/
tree234__remove_smallest	tree234.m	/^:- pred tree234__remove_smallest(tree234(K, V), K, V, tree234(K, V)).$/;-;/tree234__remove_smallest/
tree234__search	tree234.m	/^:- pred tree234__search(tree234(K, V), K, V).$/;-;/tree234__search/
tree234__set	tree234.m	/^:- pred tree234__set(tree234(K, V), K, V, tree234(K, V)).$/;-;/tree234__set/
tree234__tree234_to_assoc_list	tree234.m	/^:- pred tree234__tree234_to_assoc_list(tree234(K, V), assoc_list(K, V)).$/;-;/tree234__tree234_to_assoc_list/
tree234__update	tree234.m	/^:- pred tree234__update(tree234(K, V), K, V, tree234(K, V)).$/;-;/tree234__update/
tree234__values	tree234.m	/^:- pred tree234__values(tree234(K, V), list(V)).$/;-;/tree234__values/
type_info	mercury_builtin.m	/^:- type type_info(T) ---> type_info(int /*, ... */).$/;-;/type_info/
type_to_univ	std_util.m	/^:- pred type_to_univ(_T, univ).$/;-;/type_to_univ/
ui	mercury_builtin.m	/^:- mode ui :: input.$/;-;/ui/
unify	mercury_builtin.m	/^:- pred unify(T::in, T::in) is semidet.$/;-;/unify/
unit	std_util.m	/^:- type unit		--->	unit.$/;-;/unit/
univ_to_type	std_util.m	/^:- pred univ_to_type(univ, _T).$/;-;/univ_to_type/
unused	mercury_builtin.m	/^:- mode unused :: (free -> free).$/;-;/unused/
uo	mercury_builtin.m	/^:- mode uo :: output.$/;-;/uo/
var	term.m	/^:- type var		==	int.$/;-;/var/
var_supply	term.m	/^:- type var_supply	==	int.$/;-;/var_supply/
varset	varset.m	/^:- type varset		--->	varset($/;-;/varset/
varset__bind_var	varset.m	/^:- pred varset__bind_var(varset, var, term, varset).$/;-;/varset__bind_var/
varset__bind_vars	varset.m	/^:- pred varset__bind_vars(varset, substitution, varset).$/;-;/varset__bind_vars/
varset__bind_vars_2	varset.m	/^:- pred varset__bind_vars_2(assoc_list(var, term), varset, varset).$/;-;/varset__bind_vars_2/
varset__get_bindings	varset.m	/^:- pred varset__get_bindings(varset, substitution).$/;-;/varset__get_bindings/
varset__init	varset.m	/^:- pred varset__init(varset).$/;-;/varset__init/
varset__is_empty	varset.m	/^:- pred varset__is_empty(varset).$/;-;/varset__is_empty/
varset__lookup_name	varset.m	/^:- pred varset__lookup_name(varset, var, string).$/;-;/varset__lookup_name/
varset__lookup_var	varset.m	/^:- pred varset__lookup_var(varset, var, term).$/;-;/varset__lookup_var/
varset__lookup_vars	varset.m	/^:- pred varset__lookup_vars(varset, substitution).$/;-;/varset__lookup_vars/
varset__merge	varset.m	/^:- pred varset__merge(varset, varset, list(term), varset, list(term)).$/;-;/varset__merge/
varset__merge_subst	varset.m	/^:- pred varset__merge_subst(varset, varset, varset, substitution).$/;-;/varset__merge_subst/
varset__merge_subst_2	varset.m	/^:- pred varset__merge_subst_2(var_supply, var_supply, bimap(var, string),$/;-;/varset__merge_subst_2/
varset__name_var	varset.m	/^:- pred varset__name_var(varset, var, string, varset).$/;-;/varset__name_var/
varset__new_var	varset.m	/^:- pred varset__new_var(varset, var, varset).$/;-;/varset__new_var/
varset__set_bindings	varset.m	/^:- pred varset__set_bindings(varset, substitution, varset).$/;-;/varset__set_bindings/
varset__vars	varset.m	/^:- pred varset__vars(varset, list(var)).$/;-;/varset__vars/
varset__vars_2	varset.m	/^:- pred varset__vars_2(var_supply, var_supply, list(var),$/;-;/varset__vars_2/
