1 files changed, 13 insertions, 0 deletions
diff --git a/module/names.m b/module/names.m
new file mode 100644
index 00000000..5c17ff77
--- /dev/null
+++ b/module/names.m
@@ -0,0 +1,13 @@
+Names: module
+{
+	PATH:	con "/dis/lib/names.dis";
+
+	cleanname:	fn(name: string): string;
+	dirname:	fn(name: string): string;
+	basename:	fn(name: string, suffix: string): string;
+	elements:	fn(name: string): list of string;
+	isprefix:	fn(a: string, b: string): int;
+	pathname:	fn(els: list of string): string;
+	rooted:	fn(root: string, name: string): string;
+	relative:	fn(name: string, root: string): string;
+};