function slt(var x1,x2: scalar): boolean;
begin { slt }
  slt:=(irdiff(x1.u,x2.l)<0);
end { slt };

