00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode vprag_nouse(?,?).
00005 :- mode mark_seen1(?,?,?,?,?,?).
00006 :- mode vprag_level(?,?).
00007 :- mode vprag_use(?,?).
00008 :- mode mark_type2(?,?,?,?,?).
00009 :- mode vprag_occ(?,?).
00010 :- mode mark_occ1(?,++,?,?,?,?,?,?).
00011 :- mode compute_use1(?,?,++,?,++,?,++,?,?).
00012 :- mode search_occ(?,?).
00013 :- mode get_lastchunk1(?,?).
00014 :- mode mark_occ2(?,++,?,?,?,?,?,?).
00015 :- mode conf_nouse1(++,++,?).
00016 :- mode alloc_vars(?,?,++,?).
00017 :- mode conflict_avoid(++,++,++,?,?,?).
00018 :- mode vprag_type1(?,?).
00019 :- mode mark_previous(?,?,?).
00020 :- mode vprag_type(?,?).
00021 :- mode get_lastchunk(?,?).
00022 :- mode varproc(?,?,?,?,?).
00023 :- mode mark_seen(?,?,?,?,?,?).
00024 :- mode vprag_argno(?,?).
00025 :- mode vprag_loc(?,?).
00026 :- mode vprag_lastchunk(?,?).
00027 :- mode mark_type1(?,?,?,?,?).
00028 :- mode get_OccList(?,?,?,?).
00029 :- mode 'search tvar'(?,?,?,?,?).
00030 :- mode search_tvar(?,?,?,?).
00031 :- mode mark_occ3(?,++,?,?,?,?,?,?).
00032 :- mode conf_real_use(++,?,++,?).
00033 :- mode force_varproc_loaded.
00034 :- mode conf_nouse2(?,++,?).
00035 :- mode vprag_context(?,?).
00036 :- mode mark_last(?).
00037 :- mode mark_occurrence(?,?,?,?).
00038 :- mode vprag_common(?,?).
00039 :- mode mark_type(?,?,?).
00040
00041 :- '_$mode_pattern'(vprag_common(g,g)).
00042 :- '_$mode_pattern'(vprag_common(ng,g)).
00043 :- '_$mode_pattern'(vprag_common(ng,ng)).
00044 :- '_$mode_pattern'(vprag_use(g,g)).
00045 :- '_$mode_pattern'(vprag_use(ng,g)).
00046 :- '_$mode_pattern'(vprag_use(ng,ng)).
00047 :- '_$mode_pattern'(vprag_argno(g,g)).
00048 :- '_$mode_pattern'(vprag_argno(ng,g)).
00049 :- '_$mode_pattern'(vprag_argno(ng,ng)).
00050 :- '_$mode_pattern'(vprag_lastchunk(g,g)).
00051 :- '_$mode_pattern'(vprag_lastchunk(ng,g)).
00052 :- '_$mode_pattern'(vprag_lastchunk(ng,ng)).
00053 :- '_$mode_pattern'(vprag_level(g,g)).
00054 :- '_$mode_pattern'(vprag_level(ng,g)).
00055 :- '_$mode_pattern'(vprag_level(ng,ng)).
00056 :- '_$mode_pattern'(vprag_type1(g,g)).
00057 :- '_$mode_pattern'(vprag_type1(ng,g)).
00058 :- '_$mode_pattern'(vprag_type1(ng,ng)).
00059 :- '_$mode_pattern'(vprag_occ(g,g)).
00060 :- '_$mode_pattern'(vprag_occ(ng,g)).
00061 :- '_$mode_pattern'(vprag_occ(ng,ng)).
00062 :- '_$mode_pattern'(vprag_type(ng,ng)).
00063 :- '_$mode_pattern'(vprag_type(ng,g)).
00064 :- '_$mode_pattern'(vprag_type(g,g)).
00065 :- '_$mode_pattern'(vprag_context(g,g)).
00066 :- '_$mode_pattern'(vprag_context(ng,ng)).
00067 :- '_$mode_pattern'(vprag_context(ng,g)).
00068 :- '_$mode_pattern'(varproc(g,_1138260,_1138264,_1138268,g)).
00069 :- '_$mode_pattern'(varproc(ng,g,_1138264,_1138268,g)).
00070 :- '_$mode_pattern'(varproc(ng,ng,_1138264,_1138268,g)).
00071 :- '_$mode_pattern'(force_varproc_loaded).
00072 :- '_$mode_pattern'(vprag_nouse(g,g)).
00073 :- '_$mode_pattern'(vprag_nouse(ng,g)).
00074 :- '_$mode_pattern'(vprag_nouse(ng,ng)).
00075 :- '_$mode_pattern'(vprag_loc(g,g)).
00076 :- '_$mode_pattern'(vprag_loc(ng,g)).
00077 :- '_$mode_pattern'(vprag_loc(ng,ng)).
