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