% THIS FILE IS AUTOMATICALLY GENERATED.
% DO NOT EDIT; ALL CHANGES WILL BE LOST!

:- mode singleton_sets_opt(?,?,?).
:- mode occurs_in(?,?,?,?).
:- mode 'non overlapping selection'(?,?).
:- mode umnl_chk(?,?).
:- mode specialise_pred(?,?,?,?,?,?).
:- mode 'name vars uniquely'(?,++,?).
:- mode proper_subset(++,?).
:- mode 'new clause list'(?,?,?,?,?).
:- mode msg_arg(?,?,?).
:- mode 'interesting calls'(?,?,?).
:- mode 'arg unification'(?,?,?,?).
:- mode represent(?,?,?,++,?,?,?).
:- mode 'well, add some more'(?,?).
:- mode merge_calls(++,?).
:- mode 'index euristic'(?,?,++,?).
:- mode specialise(?,?,?,?).
:- mode 'merge calls'(++,++,?).
:- mode generate_table_decl(?,?).
:- mode sth_bound(?).
:- mode 'name arg vars uniquely'(?,++,?).
:- mode initialise.
:- mode non_overlapping_selection(?).
:- mode make_new_args(?,?,?,?).
:- mode spec(?,?).
:- mode collect_pi_calls(?,?,?).
:- mode make_special_pred(?,?,++,?).
:- mode subst_calls(?,?,?,?,?).
:- mode 'specialise pred'(?,?,?,++,?,?,?).
:- mode substitute(?,?,?,?,?,?,?,?).
:- mode 'generate table decl'(?,?,?).
:- mode 'find all delete'(++,++,?,?).
:- mode needs_new_body(?,?,?,?,?,?).
:- mode make_special_clauses(?,?,?,?).
:- mode interesting_indeed(?,?,?).
:- mode shift_left(?,?).
:- mode find_selected_clauses(?,?,?).
:- mode 'change vars in arg'(?,?).
:- mode close_pi_calls(?,?).
:- mode find_msg(?,?,?).
:- mode discrimination(?,?).
:- mode unifies_mnl(?,?).
:- mode make_new_arg(?,?,?,?).
:- mode interesting_calls(?,?,?).
:- mode msg_copy(?,?,?,?,++,++).
:- mode msg_copy(?,?,?,++,++,?).
:- mode make_special_calls(?,?,++,?).
:- mode make_arg_vars_unique(?,++,?).
:- mode singleton_special_calls(?,?,?,?).
:- mode consecutive(?,?,?,?).
:- mode consecutive(?,?,?).
:- mode specialise_calls(?,?,?,?,?,++,?,?,?,?).
:- mode 'search for call'(?,?).
:- mode 'find msg of calls'(?,++,?).
:- mode name_vars_uniquely(?,?,?).
:- mode check_for_cut(++,?).
:- mode 'change vars in args'(?,?).
:- mode chb(?,?).
:- mode filter_goal(?,?).
:- mode 'collect from pred'(?,?).
:- mode msg(?,?,?).
:- mode disjoint(?,?).
:- mode subst_rep(?,?,?,?).
:- mode singleton_special_call(?,?,?,?).
:- mode 'change vars in body'(?,?).
:- mode 'give a second chance'(?,++).
:- mode 'collect pi calls'(?,?).
:- mode make_special_call(?,?,++,?).
:- mode new_clause_list(?,?,?).
:- mode index_euristic(?,?).

:- '_$mode_pattern'(spec(g,g)).
:- '_$mode_pattern'(spec(ng,ng)).
