From cd44c14e31625344fc1f7480141188dd328a0f59 Mon Sep 17 00:00:00 2001
From: Marko Schuetz-Schmuck <MarkoSchuetz@web.de>
Date: Mon, 20 Mar 2017 10:16:04 -0400
Subject: [PATCH] commented header parameter

---
 csv.urs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/csv.urs b/csv.urs
index 66032d9..5f6baab 100644
--- 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