1 files changed, 14 insertions, 0 deletions
diff --git a/module/arg.m b/module/arg.m
new file mode 100644
index 00000000..2924e14f
--- /dev/null
+++ b/module/arg.m
@@ -0,0 +1,14 @@
+Arg : module
+{
+	PATH: con "/dis/lib/arg.dis";
+
+	init: fn(argv: list of string);
+	setusage: fn(usage: string);
+	usage: fn();
+	opt: fn(): int;
+	arg: fn(): string;
+	earg: fn(): string;
+
+	progname: fn(): string;
+	argv: fn(): list of string;
+};