MODULE; IMPORT IntList, RealList; PROCEDURE BinpackAux IntListToText (<* UNUSED *> l : IntList.T) : TEXT = BEGIN RETURN "<an IntList>"; END IntListToText; PROCEDURERealListToText (<* UNUSED *> l : RealList.T) : TEXT = BEGIN RETURN "<a RealList>"; END RealListToText; BEGIN END BinpackAux.