00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode index_argpats(?,?,?).
00005 :- mode index_label_list(?,?).
00006 :- mode force_tp_index_loaded.
00007 :- mode index_simplify_singleton(?,?).
00008 :- mode index_argpat(?,?,?).
00009 :- mode index_genretrys(?,?,?,?,?).
00010 :- mode index_groups(?,?,?,?,++,++,?,?,?).
00011 :- mode index_split(?,?).
00012 :- mode index_split0(?,?).
00013 :- mode index_group(?,?,?,?,++,?,?,?).
00014 :- mode index_sot_inst(?,?,?,?,?,?).
00015 :- mode makeindex(?,?,?,?,?,?,?).
00016 :- mode index_gentrys(?,?,?,?,?,?).
00017 :- mode index_extract_label_list(?,?).
00018 :- mode index_split1(?,?,?).
00019 :- mode index_genarglabel(?,?,?).
00020
00021 :- '_$mode_pattern'(makeindex(ng,g,ng,g,_1046648,g,ng)).
00022 :- '_$mode_pattern'(makeindex(ng,g,_1046640,_1046640,_1046648,_1046652,_1046656)).
00023 :- '_$mode_pattern'(makeindex(ng,ng,_1046640,_1046640,_1046648,_1046652,_1046656)).
00024 :- '_$mode_pattern'(makeindex(ng,ng,ng,g,_1046648,_1046652,g)).
00025 :- '_$mode_pattern'(makeindex(ng,ng,ng,g,_1046648,_1046652,ng)).
00026 :- '_$mode_pattern'(makeindex(g,g,ng,g,_1046648,g,ng)).
00027 :- '_$mode_pattern'(makeindex(g,g,_1046640,_1046640,_1046648,_1046652,_1046656)).
00028 :- '_$mode_pattern'(makeindex(g,ng,_1046640,_1046640,_1046648,_1046652,_1046656)).
00029 :- '_$mode_pattern'(makeindex(g,ng,ng,g,_1046648,_1046652,ng)).
00030 :- '_$mode_pattern'(makeindex(g,ng,ng,g,_1046648,_1046652,g)).
00031 :- '_$mode_pattern'(makeindex(_1046632,g,_1046640,_1046640,_1046648,g,_1046656)).
00032 :- '_$mode_pattern'(makeindex(_1046632,ng,_1046640,_1046640,_1046648,g,_1046656)).
00033 :- '_$mode_pattern'(index_split(g,g)).
00034 :- '_$mode_pattern'(index_split(g,ng)).
00035 :- '_$mode_pattern'(index_split(ng,ng)).
00036 :- '_$mode_pattern'(force_tp_index_loaded).
