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


:- type typ2 --> a2;b2.

:- abstract type mytyp2 --> (mya; myb).  % do not export definition

:- pred p2(typ2).
p2(a2).
p2(b2).


:- pred myp2(mytyp2).
myp2(mya).


:- local pred mypred(typ2).
mypred(a2).





