INTERFACE A;

IMPORT List;

PROCEDURE P(proc := List.EqualQ);

END A.