1 2 3 4 5 6 7 8
Sort: module { PATH: con "/dis/lib/sort.dis"; sort: fn[S, T](s: S, a: array of T) for{ S => gt: fn(s: self S, x, y: T): int; }; };