xref: /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/sort1.ads

function sort1 (S : String) return String;
pragma Pure (sort1);