🚀 go-pugleaf

I'd like to be able to do in Eiffel something similar to the following
(fragmentary) Pascal code:

program  demo(....);

type
       PersonRecord = ............
       PersAry = array[...] of PersRec;

var  pa : PersAry;

function DateLess(r1, r2 :PersonRecord) : boolean;
begin
  {Return TRUE is the date field in r1 is LESS than the one in r2;  else
FALSE}
end;

function ZipLess(r1, r2 :PersonRecord) : boolean;
begin
  {Return TRUE is the zip field in r1 is LESS than the one in r2;  else
FALSE}
end;

procedure Sort(var a : PersAry; function Precedes(r1, r2: PersonRecord) :
boolean);
begin
{sort array a according to order established by Precedes}
end;

begin     {main}
  {establish pa and its contents}
  Sort(pa, DateLess);
  {do something with the array sorted into ascending order by date}
  Sort(pa, ZipLess);
  {do something with the array sorted into ascending order by zip code}
end.

I can't find anything that will do this.  Does anyone in this group know
whether it can be done and, if so, how?  Any help will be most
appreciated.

-------------------------------------------------------------
Jimmy Wilkinson             Professor of Computer Science
wilkins@cs.cofc.edu        The College of Charleston
(803) 792-8160              Charleston      SC        29424