00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode asm_get_index(?,?,?,?,++).
00005 :- mode asm_genheader0(?,?,?,?).
00006 :- mode hash_insert(?,++,?).
00007 :- mode asm_magic(++).
00008 :- mode make_label_list1(++,?,?,?).
00009 :- mode asm_index_inst(?,?).
00010 :- mode asm_text_size(?,++,?,++,?).
00011 :- mode compute_hash_table_size(?,?).
00012 :- mode asm_index_inst1(?,?).
00013 :- mode make_label_list(?).
00014 :- mode asm_genheader(?,?,?,?).
00015 :- mode prime(?,?).
00016 :- mode asm_PIL(?,?,?,?).
00017 :- mode nearest_prime(++,?).
00018 :- mode scan_till_end_of_bucket(++,?).
00019 :- mode number_index_block(?,++).
00020
00021 :- '_$mode_pattern'(asm_PIL(ng,g,g,_1016788)).
00022 :- '_$mode_pattern'(asm_PIL(ng,ng,g,_1016788)).
00023 :- '_$mode_pattern'(asm_PIL(g,ng,g,_1016788)).
00024 :- '_$mode_pattern'(asm_PIL(g,g,g,_1016788)).
00025 :- '_$mode_pattern'(asm_genheader(_1016776,_1016780,_1016784,_1016788)).
