Add more realistic type system.

[wrappi.git] / APIs / mknod.api

diff --git a/APIs/mknod.api b/APIs/mknod.api
index bc0ba02..6c06a5b 100644 (file)
--- a/APIs/mknod.api
+++ b/APIs/mknod.api
@@ -1,3 +1,6 @@
+typedef int fileperm ;; (* XXX preconditions XXX *)
+typedef string pathname ;;
+
 entry_point
 err mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor)
 <<