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

:- import(prolog_io).     % import from library files of TYPICAL (write/1)

:- import(import2_new).   % import of all exported type definitions and
                          % predicate declarations from module import2_new

:- pred length(list(T),nat). 

:- 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











