summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index ce969a37..bae58674 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -518,11 +518,7 @@ type file
val fileName : file -> option string
val fileData : file -> blob
-type files
-val numFiles : files -> int
-val fileNum : files -> int -> file
-
-val upload : formTag files [] [Value = string, Size = int]
+val upload : formTag file [] [Value = string, Size = int]
con radio = [Body, Radio]
val radio : formTag string radio []