00001 % THIS FILE IS AUTOMATICALLY GENERATED. 00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST! 00003 00004 :- mode print_result0(?,++). 00005 :- mode print_result1(?,?). 00006 :- mode print_typing(?,?,?). 00007 :- mode print_result(?). 00008 :- mode write_symlist(++). 00009 :- mode write_typing(++,?,++). 00010 :- mode show_et. 00011 00012 :- '_$mode_pattern'(print_result(_985260)).