commented header parameter

urweb · Mar 20, 2017 · cd44c14 · cd44c14
1 parent 628d97a
commit cd44c14
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/csv.urs b/csv.urs
@@ -3,13 +3,13 @@
 val importTable : fs ::: {Type} -> cs ::: {{Unit}}
                   -> $(map sql_injectable fs) -> $(map read fs) -> folder fs
                   -> sql_table fs cs
-                  -> int
+                  -> int (* the number of header lines to skip *)
                   -> string
                   -> transaction unit
 
 val parse : fs ::: {Type}
             -> $(map sql_injectable fs) -> $(map read fs) -> folder fs
-            -> int
+            -> int (* the number of header lines to skip *)
             -> string
             -> list $fs