rt_gccstream/gcc/testsuite/gnat.dg/sort1.ads

3 lines
64 B
Ada

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