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

% implicite body section (all declarations in a body are local)

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


:- tap_interface. 		%_______begin_interface_______

% interface-declarations

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

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

:- tap_interface_end. 		%_______end_interface_______ 

% continuation of implicite body section
% only clauses in body are examined for type-consistency

p2(a2).
p2(b2).

myp2(mya).

mypred(a2).
