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


:- tap_interface. 			%_______begin_interface_______

:- import(import2_alt).       % defines typ2

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

:- tap_interface_end. 			%_______end_interface_______


:- tap_body. 				%_______begin_body_______

:- import(prolog_io).         % import of write/1


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


:- tap_body_end. 			%_______end_body_______
