sort1.ads

来自「用于进行gcc测试」· ADS 代码 · 共 3 行

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