% File 'import2_new.pl'
%----
:- ensure_loaded(typeops).

:- tap_interface.	 	%_______begin_interface______

:- type typ2 --> a2;b2.
:- type mytyp2.          % abstractly exported

:- pred p2(typ2).
:- pred myp2(mytyp2).

:- tap_interface_end. 		%_______end_interface______


:- tap_body(import2_new). 	%_______begin_body______

% all declaration in body are local 

:- pred mypred(typ2).
:- type mytyp2 --> (mya; myb). 	% definition of abstract type mytyp2


% only clauses in body are examined for type-consistency
p2(a2).
p2(b2).

myp2(mya).

mypred(a2).


:- tap_body_end. 		%_______end_body_______
