XSB: C:/dev/sandbox/xsb_release/XSB/cmplib/flatten.D Source File

00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003 
00004 :- mode flt_body(?,?).
00005 :- mode flatten(?,?).
00006 :- mode flt_arg(?,?,?,?,++,++).
00007 :- mode flt_args(?,?,?,?,++,++).
00008 :- mode force_flatten_loaded.
00009 :- mode level_allowed(?).
00010 
00011 :- '_$mode_pattern'(force_flatten_loaded).
00012 :- '_$mode_pattern'(flatten(g,g)).
00013 :- '_$mode_pattern'(flatten(ng,ng)).