00001 % THIS FILE IS AUTOMATICALLY GENERATED. 00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST! 00003 00004 :- mode write_clauses(?,?,?). 00005 :- mode write_preds(?). 00006 :- mode write_args(?,?). 00007 :- mode write_pred_props(?,?,?). 00008 :- mode write_body(?). 00009 :- mode 'write queries'(?). 00010 :- mode write_queries(?). 00011 :- mode dump_module(?,?). 00012 :- mode write_envs(?). 00013 :- mode write_arg(?). 00014 00015 :- '_$mode_pattern'(dump_module(g,g)). 00016 :- '_$mode_pattern'(dump_module(g,ng)). 00017 :- '_$mode_pattern'(write_preds(g)). 00018 :- '_$mode_pattern'(write_preds(ng)).