% File 'import_big.pl'
%----
% Example module import_big
%

:- tap_interface.			%_______begin_interface_______
		

:- import(prolog_meta).

:- type mytype.
:- type mytype > nat.
:- type mytype > negint.

:- type mytype2.    % abstract, defined in body section part import_big_too

:- type token --> hallo; bye.

:- pred big1(mytype, mytype2).

:- pred big2(mytype2).

:- pred big3(mytype, nat).

:- pred big4(mytype2, token).

:- tap_interface_end.			%_______end_interface_______


:- tap_body(import_big, [import_big, import_several_bodies, import_big_too]).
					%_______begin_body_section_part______

big1(1, hallo).

big4(xxx, bye) :- big2(xxx).


:- tap_body_end. 			%_______end_body_section_part_______

%--------------------------------------------------------------------------

% Example of a body, which consists of several body section parts in different
% files. These files are mentioned in the list of the tap_body/2 directive.
%
%                      import_several_bodies
%                               / \  
%                              /   \                 
%                    import_big ----import_big_too       
%
% If TYPICAL is called with one of this files, all clauses in the 
% complete body section will be examined.

