inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 8 insertions, 0 deletions

diff --git a/module/sort.m b/module/sort.m
new file mode 100644
index 0000000..9a4828b
--- /dev/null
+++ b/module/sort.m
@@ -0,0 +1,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;
+		};
+};