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

:- type_import(prolog_types).   % old import command!
:- type_import(prolog_num). 	
:- type_import(prolog_io). 	

:- type_import(import2_old).   	% defines typ2

:- pred length(list(T),nat). 	% define for builtin lenght/2

:- pred p(list(T),typ2).

p([A|L],b2) :- write(A),write(L), length(L,N), write(N).



:- pred notyp(nat).
notyp(N) :- length([1],N).
notyp(N) :- length([mya],N).  % mya not visible, local to import2
notyp(_) :- mypred(a2).       % mypred is local to import2



