00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode setoptions(?).
00005 :- mode dict_lookup(?,?,?).
00006 :- mode subsumed_member(?,?).
00007 :- mode time_message(?,?).
00008 :- mode warning(?).
00009 :- mode writetop(?,?).
00010 :- mode freeze(?).
00011 :- mode subsumes(?,?).
00012 :- mode writetop0(?,?).
00013 :- mode message(?).
00014 :- mode option(?).
00015 :- mode writetop_args(?,++).
00016 :- mode setoptions1(?).
00017 :- mode error(?).
00018 :- mode current_option(?).
00019 :- mode current_option(?,?).
00020 :- mode debug_writenl(?).
00021 :- mode melt(?,?).
00022 :- mode melt(?,?,?).
00023 :- mode verbo_time_message(?,?).
00024 :- mode meltargs(++,?,?,?).
00025 :- mode member1(?,?).
00026
00027 :- '_$mode_pattern'(subsumed_member(_1014112,ng)).
00028 :- '_$mode_pattern'(subsumed_member(_1014112,g)).
00029 :- '_$mode_pattern'(dict_lookup(g,g,g)).
00030 :- '_$mode_pattern'(dict_lookup(g,g,ng)).
00031 :- '_$mode_pattern'(dict_lookup(g,ng,ng)).
00032 :- '_$mode_pattern'(dict_lookup(ng,g,ng)).
00033 :- '_$mode_pattern'(dict_lookup(ng,ng,ng)).
00034 :- '_$mode_pattern'(setoptions(_1014112)).
00035 :- '_$mode_pattern'(melt(ng,ng)).
00036 :- '_$mode_pattern'(melt(ng,g)).
00037 :- '_$mode_pattern'(melt(g,ng)).
00038 :- '_$mode_pattern'(melt(g,g)).
00039 :- '_$mode_pattern'(error(_1014112)).
00040 :- '_$mode_pattern'(debug_writenl(_1014112)).
00041 :- '_$mode_pattern'(message(_1014112)).
00042 :- '_$mode_pattern'(verbo_time_message(_1014112,_1014116)).
00043 :- '_$mode_pattern'(writetop(_1014112,_1014116)).
00044 :- '_$mode_pattern'(freeze(g)).
00045 :- '_$mode_pattern'(member1(g,g)).
00046 :- '_$mode_pattern'(member1(g,ng)).
00047 :- '_$mode_pattern'(member1(ng,ng)).
00048 :- '_$mode_pattern'(time_message(g,ng)).
00049 :- '_$mode_pattern'(time_message(g,g)).
00050 :- '_$mode_pattern'(warning(_1014112)).
00051 :- '_$mode_pattern'(subsumes(_1014112,_1014116)).
00052 :- '_$mode_pattern'(option(g)).
